User photo

Joseph Sifakis

About

Joseph Sifakis is a Greek-French computer scientist and academic with French and Greek citizenship. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.