Google
×
Joseph Sifakis

Joseph Sifakis

Greek-French computer scientist
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 student: Stavros Tripakis
Research interests: Software Engineering, Formal Methods, Web Services, and more
Known for: Model checking