Verzia z 18:07, 20. január 2010 upraviť Pokus9999 (diskusia \| príspevky) 3 929 editací d bodka ← Predchádzajúca úprava		Verzia z 18:14, 20. január 2010 upraviť vrátiť Pokus9999 (diskusia \| príspevky) 3 929 editací heraklion -> Irakleio Ďalšia úprava →
Riadok 4: \|Popis = [[Grécko\|grécky]] [[informatika\|informatik]] \|Dátum narodenia = [[26. december]] [[1946]] \|Miesto narodenia = [[~~Heraklion~~Irakleio (Kréta)\|Irakleio]], [[Kréta]], [[Grécko]] \|Dátum úmrtia = \|Miesto úmrtia = }} '''Joseph Sifakis''' (po [[gréčtina\|grécky]] Ιωσήφ Σηφάκης) (* [[26. december]] [[1946]]<ref>[http://www.britannica.com/EBchecked/topic/1532881/Joseph-Sifakis "Joseph Sifakis."] Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.</ref>, [[~~Heraklion~~Irakleio (Kréta)\|Irakleio]], [[Kréta]], [[Grécko]]) je grécky [[informatika\|informatik]] v súčasnosti žijúci vo [[Francúzsko\|Francúzsku]]. V roku [[2007]] dostal spolu s [[Edmund Clarke\|Edmundom Clarkeom]] a [[Ernest Allen Emerson\|Ernestom Allenom Emersonom]] [[Turingova cena\|Turingovu cenu]] za prínos v oblasti vývoja metódy [[overovanie modelov\|overovania modelov]] (''model checking''). Zaoberá sa tiež [[vnorený systém\|vnorenými systémami]]. == Referencie ==

Joseph Sifakis: Rozdiel medzi revíziami