Prof. Amir Pnueli amir@cs.nyu.edu is Computer Science Department, Courant Institute of mathematical Sciences New York University. Amir’s academic work is mainly known for the introduction of temporal logic into Computer Science.
He has published numerous scientific papers and books, and is a recipient of several international awards (for more see: http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html).
In 1971, he co-founded the software company Mini-Systems, which until 1982 was the sole software provider for Scitex, Israel, manufacturers of computer aided design systems in the color press and graphic printing areas. following the acquisition by Scitex. In 1984, he moved on to found, together with Ido and Hagi Lahover, the company AdCad. The company AdCad later evolved into i-Logix, a firm constructing Computer Aided Software Engineering tools for the specification and design of real time reactive embedded systems.