Joseph Sifakis

Who is this?

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

Career

1. 1946
   Born
2. 2001
   Won CNRS silver medal
3. 2007
   Won Turing Award
4. 2008
   Member of Academia Europaea
5. Member of French Academy of Technologies
6. Member of American Academy of Arts and Sciences
7. Won Commander of the Legion of Honour
8. Won Grand Officer of the National Order of Merit
9. Won honorary doctor of the École polytechnique fédérale de Lausanne

Trivia

• •Place of birth: Heraklion
• •Citizenship: Greece, France
• •Known as: computer scientist, engineer, researcher