Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Born |
1946 (age 79) Heraklion, Crete
|
Zodiac | |
Tags | Add tag |