Amir Pnueli
Also known as אמיר פנואלי
Amir Pnueli brought temporal logic into computer science as a language for specifying and verifying reactive programs. He completed an applied-mathematics doctorate at the Weizmann Institute in 1967. In 1973 he founded the computer science department at Tel Aviv University. In 1996 the Turing Award honored him for seminal work introducing temporal logic into computing science. He held a position at NYU's computer science department from 1999 until his death in 2009.
Timeline
-
1941–1967
A doctorate on ocean tides
He is born in Nahalal in 1941. He completes an applied-mathematics doctorate at the Weizmann Institute in 1967, with a thesis on ocean tides.
-
1968
Back to Weizmann as faculty
He returns to Israel in 1968 as a faculty member at the Weizmann Institute.
-
1973
Founding Tel Aviv's computer science department
In 1973 he moves to Tel Aviv University, where he founds the Department of Computer Science and becomes its first chair.
-
1977
A paper on temporal logic
He publishes a paper in 1977 that introduces temporal logic into computer science as the appropriate language for specifying and verifying reactive programs.
-
1996
A Turing Award
He is named the 1996 Turing Award recipient for seminal work introducing temporal logic into computing science.
-
1999–2009
A position at NYU
He holds a position in NYU's Computer Science Department from 1999 until his death. His research centers on the use of temporal logic.
-
2000–2007
Israel Prize and ACM award
He receives the Israel Prize in 2000. In 2007 he shares the ACM Software System Award for Statemate, a software engineering tool.
-
2009
Death from a brain hemorrhage
He dies of a brain hemorrhage in November 2009.
Sources and credits
Photo: We have no published photo of Amir Pnueli yet. Send us a free-licensed photo.