E. Allen Emerson

URI: https://gptkb.org/entity/E._Allen_Emerson

GPTKB entity

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