Iosif Sifakis
Iosif Sifakis | |
![]() Iosif Sifakis | |
Date personale | |
---|---|
Născut | 1946 Iraklion, Grecia |
Cetățenie | ![]() ![]() ![]() |
Ocupație | informatician inginer cercetător ![]() |
Limbi vorbite | limba greacă limba franceză ![]() |
Activitate | |
Rezidență | ![]() ![]() |
Domeniu | informatician |
Instituție | Centrul Național Francez de Cercetare Științifică |
Alma Mater | Universitatea Politehnică Națională din Atena[*] ![]() |
Organizații | Academia Europaea[*][1] Académie des technologies[*] Academia Americană de Arte și Științe[*] National Academy of Engineering[*] Academia Franceză de Științe Academia Națională de Științe a Statelor Unite ale Americii[*][2] Association for Computing Machinery[3] ![]() |
Cunoscut pentru | Model checking |
Premii | Premiul Turing, 2007 |
Prezență online | |
Modifică date / text ![]() |
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.
🔥 Top keywords: Pagina principalăNicușor StanciuCampionatul European de Fotbal 2024Echipa națională de fotbal a RomânieiCampionatul European de FotbalRadu DrăgușinEduard IordănescuLista domnilor Țării RomâneștiSpecial:CăutareFlorin NițăDenis DrăgușAllianz ArenaCampionatul European de Fotbal 2020Campionatul European de Fotbal 2000Răzvan MarinDeșteaptă-te, române!Anghel IordănescuRomâniaAlegeri prezidențiale în România, 2024Damac FCIanis HagiBogdan RacovițanGheorghe HagiEchipa națională de fotbal a UcraineiCampionatul Mondial de FotbalAndrei BurcăCampionatul Mondial de Fotbal 2026Campionatul European de Fotbal 2028Kylian MbappéAndrei RațiuListă de antrenori ai echipei naționale de fotbal a RomânieiRomânia la Campionatul Mondial de FotbalCampionatul Mondial de Fotbal 1994Listă de domni și domnitori ai Țărilor RomâneCiprian MaricaMarius MarinLista finalelor Campionatului European de FotbalZodiacMîhailo Mudrîk