Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Person · Open Library
- Born
- 1941-04-22
- Died
- 2009-11-02
- Works
- 7
Top works
- Compositionality : the Significant Difference
- Hybrid Systems : Computation and Control
- Temporal Logic in Specification
- Hybrid systems
- Verification of Sequential and Concurrent Programs
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
Connections
Categories
1941 births2009 deathsAcademic staff of Tel Aviv UniversityAcademic staff of Weizmann Institute of ScienceCourant Institute of Mathematical Sciences facultyFellows of the Association for Computing MachineryForeign associates of the National Academy of EngineeringFormal methods peopleIsraeli JewsIsraeli theoretical computer scientistsIsrael Prize in computer sciences recipients