Amir Pnueli
E260368
Amir Pnueli was an Israeli computer scientist renowned for introducing temporal logic to computer science and for his pioneering work in formal verification, for which he received the Turing Award.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Amir Pnueli canonical | 6 |
| Pnueli | 1 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Israeli person
ⓘ
computer scientist ⓘ person ⓘ |
| almaMater |
Tel Aviv University
ⓘ
Weizmann Institute of Science ⓘ |
| awardReceived |
ACM SIGACT Distinguished Service Prize
ⓘ
surface form:
ACM SIGACT Award
Israel Prize ⓘ Turing Award ⓘ |
| birthCountry | Mandatory Palestine ⓘ |
| birthDate | 1941-04-22 ⓘ |
| birthPlace | Nahalal ⓘ |
| causeOfDeath | cerebral hemorrhage ⓘ |
| citizenship | Israel ⓘ |
| deathDate | 2009-11-02 ⓘ |
| deathPlace | New York City ⓘ |
| doctoralAdvisor | Elisha Netanyahu ⓘ |
| doctoralThesisTitle | Decision Problems in the Theory of Automata ⓘ |
| doctoralThesisYear | 1967 ⓘ |
| employer |
New York University
ⓘ
Tel Aviv University ⓘ Weizmann Institute of Science ⓘ |
| familyName |
Amir Pnueli
self-linksurface differs
ⓘ
surface form:
Pnueli
|
| field |
computer science
ⓘ
mathematics ⓘ |
| founded |
Faculty of Mathematics and Computer Science, Weizmann Institute of Science
ⓘ
surface form:
Reactive Systems Group at Weizmann Institute of Science
|
| gender | male ⓘ |
| givenName | Amir ⓘ |
| influenced |
development of model checking
ⓘ
research in formal methods ⓘ verification of concurrent and reactive systems ⓘ |
| knownFor |
contributions to concurrent and reactive systems
ⓘ
contributions to program verification ⓘ introducing temporal logic to computer science ⓘ pioneering work in formal verification ⓘ |
| memberOf |
Academia Europaea
ⓘ
Israel Academy of Sciences and Humanities ⓘ |
| name | Amir Pnueli self-link ⓘ |
| nationality | Israeli ⓘ |
| notableConcept |
linear temporal logic
ⓘ
surface form:
linear-time temporal logic
temporal logic in program verification ⓘ |
| notableWork | The Temporal Logic of Programs ⓘ |
| position | professor ⓘ |
| researchInterest |
concurrent systems
ⓘ
formal verification ⓘ program semantics ⓘ reactive systems ⓘ temporal logic ⓘ |
| TuringAwardCitation | for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification ⓘ |
| TuringAwardYear | 1996 ⓘ |
Referenced by (7)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Pnueli