Iosif Sifakis

De la Wikipedia, enciclopedia liberă
Iosif Sifakis
Joseph Sifakis mg 4603.jpg
Iosif Sifakis
Date personale
Născut1946
Iraklion, Grecia
Naționalitategrec
CetățenieFlag of Greece.svg Grecia
Flag of France (1794–1815, 1830–1974, 2020–present).svg Franța Modificați la Wikidata
Ocupațieinformatician
inginer Modificați la Wikidata
Limbi vorbitelimba greacă Modificați la Wikidata
Activitate
RezidențăGrecia Grecia
Franţa Franța
Domeniuinformatician
InstituțieCentrul Național Francez de Cercetare Științifică
Alma MaterUniversitatea Politehnică Națională din Atena[*]​  Modificați la Wikidata
OrganizațiiAcademia Europaea[*]​[1]
Académie des technologies[*][[Académie des technologies (learned society with an emphasis on technology)|​]]
Academia Americană de Arte și Științe[*]​
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]]
Academia Franceză de Științe  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online
Modifică date / text Consultați documentația formatului

Iosif Sifakis (în greacă Ιωσήφ Σηφάκης, în franceză Joseph Sifakis; n. 1946, Iraklion, Grecia) este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson și Edmund Clarke, pentru dezvoltarea conceptului de model checking.


v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)

Flag of Greece.svg Acest articol biografic despre un grec este un ciot. Puteți ajuta Wikipedia prin completarea lui!
  1. ^ https://www.ae-info.org/ae/User/Sifakis_Joseph  Lipsește sau este vid: |title= (ajutor)
Adus de la https://ro.wikipedia.org/w/index.php?title=Iosif_Sifakis&oldid=15540838