GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Hongwei Xi
URI:
https://gptkb.org/entity/Hongwei_Xi
GPTKB entity
Statements (16)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Carnegie_Mellon_University
gptkbp:doctoralAdvisor
gptkb:Robert_Harper
gptkbp:education
gptkb:Carnegie_Mellon_University
gptkbp:employer
gptkb:Boston_University
gptkbp:field
gptkb:logic
gptkb:programming_language
formal verification
https://www.w3.org/2000/01/rdf-schema#label
Hongwei Xi
gptkbp:nationality
gptkb:Chinese
gptkbp:notableWork
gptkb:ATS_programming_language
gptkbp:occupation
gptkb:computer_scientist
gptkbp:position
gptkb:professor
gptkbp:website
https://www.cs.bu.edu/~hwxi/
gptkbp:bfsParent
gptkb:John_C._Reynolds
gptkbp:bfsLayer
5