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
Joseph Sifakis
Computer scientist

Joseph Sifakis

Famoose for

Developing model checking for computer-system verification.

Model checking · Understanding and Changing the World

Born
26 December 1946
Birthplace
Heraklion

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.

Joseph Sifakis

Joseph Sifakis is a Greek-French computer scientist who shared the 2007 Turing Award with Edmund Clarke and Allen Emerson.

Early life

Education

Studied electrical engineering in Athens and completed doctorates in Grenoble in 1974 and 1979.

Career

  1. 1982

    Verification tools

    Worked on early applications of model checking.

  2. 1989

    CAV conference

    Helped establish the computer-aided verification conference.

  3. 2007

    Turing Award

    Recognised for model checking.

Contributions

Model checking

Developed methods for systematically testing mathematical models of systems.

Understanding and Changing the World

Published a book on intelligence and systems.

Beyond research

Research policy

Served as president of Greece's National Council for Research and Technology from 2014 to 2016, extending his work beyond laboratory research into national science policy.

Sources & photo creditBiography and career ↗Biographical references ↗

Original photograph. Cropped and displayed in monochrome.

Photo: Joseph Sifakis. CC BY-SA 4.0 · Original image. Cropped and displayed in monochrome.