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.

Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.