Joseph Sifakis
Greek-French computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Joseph Sifakis?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
Quick Facts Born, Citizenship ...
Joseph Sifakis | |
---|---|
Born | 26 December 1946 (1946-12-26) (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 |
Close