Joseph Sifakis

Biography

Joseph Sifakis ( Greek : Ιωσήφ Σηφάκης) 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 was born in Heraklion , Crete in 1946 and lives in France . He studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship . He received his engineering doctorate in 1974 from the University of Grenoble , [ 1 ] where he also received a state doctorate in 1979. [ 2 ] [ 3 ] [ 4 ] He is currently Research Director Emeritus for the Centre national de la recherche scientifique at VERIMAG laboratory near Grenoble , of which he is the founder. Sifakis has been a leading figure in the fields of Model Checking and Embedded Systems . He founded with Edmund M. Clarke and Amir Pnueli the CAV conference, organized for the first time in Grenoble in 1989. He has been the coordinator of the ARTIST European Network of Excellence for research on Embedded Systems [ 5 ] (2004–2012). Fields: Computer science Education: National Technical University of Athens BS University of Grenoble MS PhD Award Citation: Turing Award (2007), Leonardo da Vinci Medal (2012) Member French Academy of Engineering (2008), French Academy of Sciences (2010), Academia Europaea (2008), American Academy of Arts and Sciences (2015), National Academy of Engineering (2017), Chinese Academy of Sciences (2019), National Academy of Sciences (2024).

About the Turing Award

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 computer science and is colloquially known as the "Nobel Prize of Computing."

Quick Facts

• Award: ACM A.M. Turing Award
• Added: 2026-02-07
• Source: Wikipedia
• Prize: $1,000,000 (USD)
• Presented by: ACM

Browse More

Notable Winners

• Donald Knuth (1974)
• Tim Berners-Lee (2016)
• Geoffrey Hinton (2018)
• Yoshua Bengio (2018)
• Yann LeCun (2018)