阿米尔·伯努利1941—2009

生平

伯努利出生于英国巴勒斯坦（以色列）的那哈啦，并获得了海法以色列理工学院的数学学士学位和博士学位。来自魏茨曼科学研究所的应用数学。他的论文主题是“海洋潮汐的计算”。在斯坦福大学担任博士后研究员期间，他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查，特别是关于并发系统的公平性。

1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。电脑协会（ACM）会士。

魏茨曼科学研究学院数学博士。在斯坦福大学做博士后时转而研究计算机科学。

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. He introduced the use of temporal logic to reason about programs in computer science.

Biography

Amir Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel). He attended Tichon Hadash high school in Tel Aviv. He received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967). His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.

He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U.S. He's also served as an associate professor at the University of Pennsylvania and the Joseph Fourier University.

Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.

Pnueli died on November 2, 2009, of a brain hemorrhage.

Awards and recognition

In 1996, Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.

On May 30, 1997, Pnueli received an honorary doctorate from the Faculty of Science and Technology at Uppsala University, Sweden.

In 1999, he was inducted as a Foreign Associate of the U.S. National Academy of Engineering.

In 2000, he was awarded the Israel Prize, for computer science.

In 2007, he was inducted as a Fellow of the Association for Computing Machinery.

The Weizmann Institute of Science presents a memorial lecture series in his honour.