Deceased
Q92649
Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Born: April 22, 1941
(1941)
· Nahalal
Died: November 2, 2009
(2009)
· New York City
Age at death: 68 years
Cause of death: cerebral hemorrhage
Manner of death: natural causes
| Nationality | Israel |
|---|---|
| Occupation | university teacher, engineer, mathematician, pedagogue, computer scientist |
| Field of work | computer science |
| Education | Technion – Israel Institute of Technology, Weizmann Institute of Science |
| Employer | New York University, New York University Tandon School of Engineering, Tel Aviv University |
| Gender | male |
Network
Source: Wikidata Q92649