Memorial Page for Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Memorial Candles
Condolence Book
0 Entries
Memories
No memories shared yet
Be the first to share a memory.
Biography
Amir Pnueli (* April 22, 1941 in Nahalal; † November 2, 2009 in New York City) was an israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems. He was 68 years old. His education included Technion – Israel Institute of Technology and Weizmann Institute of Science. He received 5 awards, including Israel Prize, Turing Award. His cause of death was cerebral hemorrhage.
Life Events
7 EventsBorn in Nahalal, Northern District
1941Turing Award
1996honorary doctorate from Joseph Fourier University
1998Israel Prize
2000ACM Software System Award
2007ACM Fellow
2007Died in New York City, New York (cerebral hemorrhage)
2009Obituary
No obituary yet
No obituary has been uploaded for this memorial page yet. If you are one of the loved ones and would like to upload one, you can register as the owner of this memorial page and add it afterward.
Amir Pnueli. Forever remembered.