Amir Pnueli
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 .
Life
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
- Pnuelis website at NYU (English)
- Pnueli's profile at the Weizmann Institute (English)
Individual evidence
- ↑ a b c Pnueli's short biography
- ↑ 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.
personal data | |
---|---|
SURNAME | Pnueli, Amir |
BRIEF DESCRIPTION | Israeli computer scientist and Turing Prize winner |
DATE OF BIRTH | April 22, 1941 |
PLACE OF BIRTH | Nahalal , Palestine |
DATE OF DEATH | November 2, 2009 |
Place of death | New York City , New York |