Joseph Sifakis
* December 26, 1946, Heraklion, Greece
ACM A.M. Turing Award - 2007
Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.