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.
Joseph Sifakis
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in the field of computer science and is often referred to as the "Nobel Prize of Computing".
Alan Turing, after whom the award is named
Image: Maurice Vincent Wilkes 1980 (3, cropped)
Image: Marvin Minsky at OLP Cc
Image: John Mc Carthy Stanford