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