Joseph Sifakis 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. Wikipedia
Place of birth: Heraklion, Greece
Notable students: Stavros Tripakis
Awards: Turing Award and C.N.R.S. Silver Medal
Academic advisor: Jean Kuntzmann
Research interests: Software Engineering, Formal Methods, Web Services, and more