Neil Immerman

URI: https://gptkb.org/entity/Neil_Immerman
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Yale_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkb:Gödel_Prize
gptkbp:birthYear 1953
gptkbp:doctoralAdvisor gptkb:Samuel_Eilenberg
gptkbp:doctoralStudent gptkb:Cynthia_Dwork
gptkbp:editor gptkb:Theory_of_Computing_Systems
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Neil Immerman
gptkbp:knownFor gptkb:Immerman–Szelepcsényi_theorem
descriptive complexity
gptkbp:memberOf gptkb:Association_for_Computing_Machinery
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkbp:workInstitution gptkb:University_of_Massachusetts_Amherst
gptkbp:bfsParent gptkb:finite_model_theory
gptkbp:bfsLayer 5