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: Ιωσήφ Σηφάκης; born 26 December 1946) 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]
Sifakis was elected a member of the Academia Europaea in 2008.[2]
References
[change | change source]- ↑ Sifakis, Joseph (1974-03-22). Modèles temporels des systèmes logiques (phdthesis thesis) (in French). Université Joseph-Fourier – Grenoble I.
- ↑ "Joseph Sifakis". Academia Europaea. Archived from the original on 28 March 2019.
Other websites
[change | change source]
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.