Joseph Sifakis
Joseph Sifakis | |
|---|---|
| Born | 26 December 1946 (age 78) |
| Citizenship | Greek-French |
| Education | National Technical University of Athens (BS) University of Grenoble (MS, PhD) |
| Known for | Model checking |
| Awards | National Technical University of Athens University of Grenoble |
| Scientific career | |
| Fields | Computer science |
| Institutions | CNRS, École Polytechnique Fédérale de Lausanne |
| Notable students | Stavros Tripakis |
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) 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.