Zohar Manna

URI: https://gptkb.org/entity/Zohar_Manna

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Hebrew_University_of_Jerusalem gptkb:Weizmann_Institute_of_Science
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:Guggenheim_Fellowship gptkb:Herbrand_Award
gptkbp:dateOfBirth	1939-03-04
gptkbp:dateOfDeath	2018-08-30
gptkbp:doctoralAdvisor	gptkb:Amir_Pnueli
gptkbp:employer	gptkb:Stanford_University
gptkbp:fieldOfWork	gptkb:mathematics computer science
https://www.w3.org/2000/01/rdf-schema#label	Zohar Manna
gptkbp:knownFor	gptkb:logic program verification
gptkbp:memberOf	gptkb:Association_for_Computing_Machinery
gptkbp:nationality	gptkb:American gptkb:Israeli
gptkbp:notableStudent	gptkb:Amir_Pnueli
gptkbp:notableWork	gptkb:Mathematical_Theory_of_Computation gptkb:Temporal_Verification_of_Reactive_Systems gptkb:The_Calculus_of_Computation gptkb:The_Logic_of_Computer_Programming gptkb:The_Temporal_Logic_of_Reactive_and_Concurrent_Systems
gptkbp:occupation	gptkb:computer_scientist
gptkbp:placeOfBirth	gptkb:Haifa
gptkbp:residence	gptkb:Stanford,_California
gptkbp:bfsParent	gptkb:Thomas_Henzinger gptkb:John_J._McCarthy gptkb:Luca_de_Alfaro
gptkbp:bfsLayer	6