Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen...

Sifakis (Greek: Σηφάκης) is a Greek surname. Notable people with the surname include: George Sifakis, American government official Joseph Sifakis (born...

Andrew Barto, Mira Murati, Pattie Maes, Eric Horvitz, Peter Norvig, Joseph Sifakis, Erik Brynjolfsson, Ian Goodfellow, Baburam Bhattarai, Kersti Kaljulaid...

on February 26, 2024. Retrieved March 4, 2024. Cristian S. Calude. "Joseph Sifakis - A.M. Turing Award Laureate". Association for Computing Machinery....

the Higgs Boson discovery; Patrick Cousot, French computer scientist; Joseph Sifakis, Turing Award laureate; Claude Boutron, French glaciologist; Jean-Louis...

United States. Emerson is recognized together with Edmund M. Clarke and Joseph Sifakis for the invention and development of model checking, a technique used...

Dandolos, a.k.a. Nick the Greek, professional gambler and high roller Joseph Sifakis, a computer scientist, laureate of the 2007 Turing Award, born in Heraklion...

Nicholas (July 17, 1972) "Part II The Mafia at War" New York pp.27-36 Sifakis, Carl (2005). The Mafia encyclopedia (3. ed.). New York: Facts on File...

Pascarelli, physicist Rammal Rammal, a Lebanese condensed matter physicist Joseph Sifakis, computer scientist and Turing Award recipient (2007). The ranking 2009...

Archived from the original on February 9, 2021. Retrieved March 11, 2011. Sifakis, Carl (1987). The Mafia Encyclopedia. New York City: Facts on File. ISBN 0-8160-1856-1...