Zohar Manna

E46383
academic computer scientist person

Zohar Manna was a pioneering computer scientist known for his foundational work in mathematical logic, program verification, and the formal methods of software correctness.

Jump to: Statements Referenced by

Statements (48)

Predicate Object
instanceOf academic ⓘ
computer scientist ⓘ
person ⓘ
academicDegree PhD in Computer Science ⓘ
authorOf Mathematical Theory of Computation ⓘ
Program Verification: Approaches and Tools ⓘ
Temporal Verification of Reactive Systems ⓘ
The Calculus of Computation ⓘ
The Logic of Computer Programming ⓘ
Verification of Concurrent Programs ⓘ
awardReceived ACM SIGACT Distinguished Service Prize ⓘ
CAV Award ⓘ
citizenship Israel ⓘ
United States of America ⓘ
coAuthorWith Amir Pnueli ⓘ
Richard Waldinger ⓘ
countryOfBirth Mandatory Palestine ⓘ
dateOfBirth 1939-03-04 ⓘ
dateOfDeath 2018-08-30 ⓘ
doctoralAdvisor Alan Perlis ⓘ
surface form: Alan J. Perlis
educatedAt CMU ⓘ
surface form: Carnegie Mellon University

Technion – Israel Institute of Technology ⓘ
employer Stanford University ⓘ
fieldOfWork computer science ⓘ
formal methods ⓘ
mathematical logic ⓘ
program verification ⓘ
influenced development of formal methods in software engineering ⓘ
research in temporal logic for program verification ⓘ
influencedBy automata theory ⓘ
mathematical logic ⓘ
knownFor formal methods of software correctness ⓘ
foundational work in program verification ⓘ
mathematical theory of computation ⓘ
language English ⓘ
Hebrew ⓘ
memberOf Association for Computing Machinery ⓘ
IEEE Computer Society ⓘ
notableStudent Amir Pnueli ⓘ
Dexter Kozen ⓘ
Moshe Y. Vardi ⓘ
placeOfBirth Haifa ⓘ
placeOfDeath Palo Alto, California NERFINISHED ⓘ
positionHeld Professor of Computer Science at Stanford University ⓘ
researchInterest automatic program verification ⓘ
deductive program synthesis ⓘ
temporal logic in program verification ⓘ
workplace Stanford University ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Rajeev Alur → hasAcademicAdvisor → Zohar Manna ⓘ
Herbrand Award → notableRecipient → Zohar Manna ⓘ