Joseph Sifakis
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.
Joseph Sifakis | |
|---|---|
| Born | 26 December 1946 (age 77) |
| Citizenship | Greek-French |
| Alma mater | National Technical University of Athens University of Grenoble |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.