13 Facts About Joseph Sifakis

Joseph Sifakis is a Greek-French computer scientist.

Joseph Sifakis received the 2007 Turing Award, along with Edmund M Clarke and E Allen Emerson, for his work on model checking.

Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France.

Joseph Sifakis studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.

Joseph Sifakis received his engineering doctorate in 1974 from the University of Grenoble, where he received a state doctorate in 1979.

Joseph Sifakis is currently Research Director Emeritus for the Centre national de la recherche scientifique at VERIMAG laboratory near Grenoble, of which he is the founder.

Joseph Sifakis founded with Edmund M Clarke and Amir Pnueli the CAV conference, organized for the first time in Grenoble in 1989.

Joseph Sifakis has been the coordinator of the ARTIST European Network of Excellence for research on Embedded Systems.

Joseph Sifakis has been visiting professor at Tsinghua University, and at SUSTech.

Joseph Sifakis has been the President of the Greek National Council for Research and Technology.

Joseph Sifakis worked on system verification and the application of formal methods to system design.

Joseph Sifakis has worked on the verification of timed and hybrid systems with Thomas Henzinger and the synthesis of timed systems with Amir Pnueli and Oded Maler.

Joseph Sifakis has participated to the development of verification tools including the IF toolset, Kronos, CADP, and TGV and has developed theory for coping with state explosion using abstraction techniques.