Amir Pnueli

from Wikipedia, the free encyclopedia

Amir Pnueli (born April 22, 1941 in Nahalal , Palestine , † November 2, 2009 in New York City , New York ) was an Israeli computer scientist who pioneered the introduction of temporal logic into computer science and the verification of programs and systems and received the Turing Award in 1996 .

Amir Pnueli (2005)


Pnueli received a Bachelor's degree in mathematics from the Technion in Haifa and a Ph. D. in applied mathematics from the Weizmann Institute of Science in Rechovot .

During his post-doctoral phase at Stanford University and the Thomas J. Watson Research Center , he switched to computer science. Back in Israel, he initially worked in research at the Weizmann Institute, then went to Tel Aviv University , where he founded the Department of Computer Science, of which he was the first chairman. In 1981 he returned to the Weizmann Institute as a professor of computer science. Since 1999 he has also taught at New York University .

1971 Pnueli was at the founding of software maker mini-system involved, in 1984 he founded with his two mini-system partners and David Harel , the company AdCad (later I-Logix , now part of Telelogic ), where he met with Harel the State Mate - model checker designed. He also worked with Harel on the semantics and implementation of his state transition diagrams .

In 1977 Pnueli achieved an important breakthrough in the verification of parallel and reactive (?) Systems with his paper The Temporal Logic of Programs . With the techniques that he introduced, he triggered a paradigm shift in the study of the dynamic behavior of systems. For the first time, Pnueli examined the running behavior of programs instead of just their input / output behavior, thus introducing a powerful formalism for examining programs. This characterizes the study of parallel programs to this day.

In 1997 he was awarded an honorary doctorate from the University of Uppsala , in 1998 from the University of Joseph Fourier in Grenoble and in November 2000 from the Carl von Ossietzky University in Oldenburg . In 2007 he became a Fellow of the ACM .

Pnueli died of a cerebral haemorrhage on November 2, 2009.

Web links

Commons : Amir Pnueli  - collection of images, videos and audio files

Individual evidence

  1. a b c Pnueli's short biography
  2. Turing Award honor ( Memento of the original from February 28, 2008 in the Internet Archive ) Info: The archive link was automatically inserted and not yet checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot /