Who are you looking for?

Install Famoose

Keep Famoose on your home screen or desktop for easy access.

Open this site in Chrome or Edge and look for Install app in the browser menu or address bar. If no install option appears, you can bookmark Famoose instead.

Famoose.co
Appearance
Text size
Page width
Colour
Discover›Technology
Contents
Amir Pnueli
Computer scientist

Amir Pnueli

Famoose for

Introducing temporal logic into the verification of computer systems.

Turing Award

Born
22 April 1941
Birthplace
Nahalal
Died
2 November 2009

More people

Ada LovelaceRecognising what a programmable machine could do beyond arithmetic.Alan TuringHelping break Enigma and laying foundations for computer science.Grace HopperHelping make computer programming readable in English-like language.

Amir Pnueli

Amir Pnueli was a computer scientist whose work helped make rigorous statements about how programs behave over time.

Early life

Mathematics

Studied at the Technion and completed a Weizmann doctorate in 1967 on ocean tides.

Career

  1. Postdoctoral years

    Stanford

    Changed his focus to computing.

  2. 1981

    Weizmann professor

    Joined its computer-science faculty.

  3. 1999

    New York University

    Took an additional academic position.

Contributions

Turing Award

Recognised for temporal logic and system verification.

Beyond work

Enterprise

Founded two technology start-ups alongside his academic work.

Sources & photo creditBiography and career ↗Biographical data and references ↗

Original photograph. Cropped and displayed in monochrome.

Photo: David Monniaux. CC BY-SA 1.0 · Original image. Cropped and displayed in monochrome.