Iosif Sifakis
Greek-French computer scientist
- Born
- 26 December 1946, Heraklion
- Age
- 79
Joseph Sifakis (born 26 December 1946) 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.
Iosif Sifakis’s social media accounts
Social
Web
4 external identifiers
Something wrong with this entry? Report it · How corrections work
Last updated · Handles last checked · How we check