Joseph Sifakis: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Pokus9999 (diskusia | príspevky)
nova stranka
 
Pokus9999 (diskusia | príspevky)
d bodka
Riadok 9:
}}
 
'''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]], [[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 ==