Amir Pnueli is remembered in technology for work that changed what came after it.
The record lists Amir Pnueli as Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems.
Amir Pnueli was born at Nahalal in 1941. His recorded nationality is Israel. He was educated at Technion – Israel Institute of Technology and Weizmann Institute of Science.
The twentieth century made work collective, expensive and political, with consequences that reached well beyond the people doing it.
He worked as computer scientist, engineer and pedagogue.
His affiliations include New York University, Tel Aviv University and New York University Tandon School of Engineering.
Technology is judged by adoption: an invention nobody uses is a curiosity.
His recorded fields of work are computer science.
Recognition followed: Turing Award (1996).
Working from Israel shaped what was possible - the audiences within reach, the institutions that would have him, the language the work first appeared in.
Amir Pnueli died in 2009, aged 68. What survives is the work, which is the only durable form of a reputation.
Achievements
- Turing Award — 1996
- Affiliated with New York University, Tel Aviv University and New York University Tandon School of Engineering
- Educated at Technion – Israel Institute of Technology and Weizmann Institute of Science
- Worked as computer scientist, engineer and pedagogue
