E. Allen Emerson

URI: https://gptkb.org/entity/E._Allen_Emerson
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:awardReceived gptkb:Turing_Award
gptkb:Paris_Kanellakis_Award
gptkbp:birthYear 1954
gptkbp:co-recipient gptkb:Edmund_M._Clarke
gptkb:Joseph_Sifakis
gptkbp:doctoralAdvisor gptkb:Patrick_C._Fischer
gptkbp:educatedAt gptkb:Harvard_University
gptkbp:fieldOfWork computer science
formal verification
model checking
gptkbp:knownFor model checking
gptkbp:nationality gptkb:American
gptkbp:notableStudent gptkb:Orna_Kupferman
gptkbp:occupation gptkb:computer_scientist
gptkbp:workInstitution gptkb:University_of_Texas_at_Austin
gptkbp:bfsParent gptkb:Edmund_Clarke
gptkbp:bfsLayer 5
https://www.w3.org/2000/01/rdf-schema#label E. Allen Emerson