# Joseph Sifakis

Joseph Sifakis (Grieks: Ιωσήφ Σηφάκης, Iosif Sifakis) (Iraklion, Kreta, 26 december 1946) is een Grieks/Frans informaticus. Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over model checking.

## Biografie

Sifakis heeft elektrotechniek gestudeerd aan de National Technical University of Athens (NTUA) en informatica aan de Université Joseph Fourier en het Institut polytechnique, beide te Grenoble. In 1976 nam hij de Franse nationaliteit aan.
Sifakis is de oprichter van het Verimag Laboratory in Grenoble, Frankrijk bij het Centre national de la recherche scientifique waar onderzoek wordt verricht naar ingebedde systemen. Van 1993 tot 2006 was hij hier onderzoeksdirecteur. Sifakis is ook wetenschappelijk coördinator bij Artist2 dat ook onderzoek verricht naar ingebedde systemen.
In 2007 won hij samen met Edmund M. Clarke en E. Allen Emerson de Turing Award:
   For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.
In 2001 won hij de CNRS Silver Medal. Sifakis is benoemd tot Grootofficier in de Franse Nationale Orde van Verdienste. Sifakis is lid van de Academia Europaea en het Franse Académie des technologies.

## Externe link

* (en) Joseph Sifakis
* ↑ Mathematics Genealogy Project.
* ↑ (en) Strategic Management Board — Artist2 NoE, Network of Excellence on Embedded Systems Design
* ↑ (en) ACM Award Citation - Joseph Sifakis
* 1 2 (en) Biografie Joseph Sifakis. Gearchiveerd op 4 april 2022.
1966: Alan J. Perlis · 1967: Maurice V. Wilkes · 1968: Richard Hamming · 1969: Marvin Minsky · 1970: J.H. Wilkinson · 1971: John McCarthy · 1972: Edsger Dijkstra · 1973: Charles W. Bachman · 1974: Donald E. Knuth · 1975: Allen Newell, Herbert Simon · 1976: Michael Rabin, Dana S. Scott · 1977: John Backus · 1978: Robert W. Floyd · 1979: Kenneth E. Iverson · 1980: Tony Hoare · 1981: Edgar F. (Ted) Codd · 1982: Stephen A. Cook · 1983: Ken Thompson, Dennis M. Ritchie · 1984: Niklaus Wirth · 1985: Richard M. Karp · 1986: John Hopcroft, Robert Tarjan · 1987: John Cocke · 1988: Ivan Sutherland · 1989: William Kahan · 1990: Fernando J. Corbató · 1991: Robin Milner · 1992: Butler Lampson · 1993: Juris Hartmanis, Richard E. Stearns · 1994: Edward Feigenbaum, Raj Reddy · 1995: Manuel Blum · 1996: Amir Pnueli · 1997: Douglas Engelbart · 1998: Jim Gray · 1999: Frederick P. Brooks, Jr. · 2000: Andrew Chi-Chih Yao · 2001: Ole-Johan Dahl, Kristen Nygaard · 2002: Ron Rivest, Adi Shamir, Leonard M. Adleman · 2003: Alan Kay · 2004: Vinton G. Cerf, Robert E. Kahn · 2005: Peter Naur · 2006: Frances E. Allen · 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis · 2008: Barbara Liskov · 2009: Charles Thacker · 2010: Leslie Valiant · 2011: Judea Pearl · 2012: Shafi Goldwasser, Silvio Micali · 2013: Leslie Lamport · 2014: Michael Stonebraker · 2015: Martin Hellman, Whitfield Diffie · 2016: Tim Berners-Lee · 2017: John L. Hennessy, David Patterson · 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun · 2019: Patrick M. Hanrahan, Edwin E. Catmull · 2020: Alfred Aho, Jeffrey Ullman · 2021: Jack Dongarra · 2022: Robert Metcalfe · 2023: Avi Wigderson