Joseph Sifakis
Joseph Sifakis | |
|---|---|
| Born | 26 December 1946 (age 79) |
| Citizenship | Greek-French |
| Education | National Technical University of Athens (BS) University of Grenoble (MS, PhD) |
| Known for | Model checking |
| Spouse | Olga Ioannidi |
| Awards | Turing Award (2007), Leonardo da Vinci Medal (2012) Member French Academy of Engineering (2008), French Academy of Sciences (2010), Academia Europaea (2008), American Academy of Arts and Sciences (2015), National Academy of Engineering (2017), Chinese Academy of Sciences (2019), National Academy of Sciences (2024). |
| Scientific career | |
| Fields | Computer science |
| Institutions | CNRS, École Polytechnique Fédérale de Lausanne |
| Notable students | Stavros Tripakis, Susanne Graf, Sergio Yovine, Ahmed Bouajjani |
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.