Joseph Sifakis
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 |
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He won the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.[1]
References
- ↑ Sifakis, Joseph (1974-03-22). Modèles temporels des systèmes logiques (phdthesis thesis) (in French). Université Joseph-Fourier – Grenoble I.
Other websites
Media related to Joseph Sifakis at Wikimedia Commons
This short article about a person or group of people can be made longer. You can help Wikipedia by adding to it.