Joseph Sifakis
Joseph Sifakis (gr. Ιωσήφ Σηφάκης - Iosif Sifakis; * 26. december 1946[1], Irakleio, Kréta, Grécko) je grécky informatik v súčasnosti žijúci vo Francúzsku. V roku 2007 dostal spolu s Edmundom Clarkeom a Ernestom Allenom Emersonom Turingovu cenu za prínos v oblasti vývoja metódy overovania modelov (model checking). Zaoberá sa tiež vnorenými systémami.
Joseph Sifakis | |
![]() grécky informatik | |
Narodenie | 26. december 1946 (77 rokov) Irakleio, Kréta, Grécko |
---|---|
Odkazy | |
Webstránka | imag.fr |
Commons | ![]() |
Referencie
Iné projekty
Commons ponúka multimediálne súbory na tému Joseph Sifakis
🔥 Top keywords: Hlavná stránkaMajstrovstvá Európy vo futbale 2024Špeciálne:HľadanieRomelu LukakuBelgickoMajstrovstvá Európy vo futbalePeter PellegriniSlovenskoŠpeciálne:PoslednéÚpravyJozef BanášDeň otcovMajstrovstvá Európy vo futbale 2020Stanislav LobotkaMajstrovstvá sveta vo futbaleZuzana ČaputováSlovenské národné futbalové mužstvoWikipédia:Wiki miluje ZemMilan UrbániIvan SchranzČlenovia Európskej únieFrancesco CalzonaDeutsche Bank ParkHorúčka dengueBelgické národné futbalové mužstvoAdam ObertŠtandarda prezidenta Slovenskej republikyFrankfurt nad MohanomEurópska úniaMarek HamšíkBratislavaMel GibsonKylian MbappéMajstrovstvá sveta vo futbale 2026Druhá svetová vojnaSúbor:Andreas Thorkildsen 2008.jpgMária TeréziaDario GSúbor:Anna Chicherova Daegu 2011.jpgJuraj Rizman