Joseph Sifakis: Rozdiel medzi revíziami

Pridaných 14 bajtov ,  pred 4 rokmi
d
kat
d (Bot: Odstránenie 13 odkazov interwiki, ktoré sú teraz dostupné na Wikiúdajoch (d:q92781))
d (kat)
 
}}
 
'''Joseph Sifakis''' (po{{v [[gréčtinajazyku|gre|grécky]] Ιωσήφ Σηφάκης - Iosif Sifakis)}}; (* [[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>, [[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 ==
 
{{DEFAULTSORT:Sifakis, Joseph}}
 
[[Kategória:Narodenia v 1946]]
[[Kategória:Držitelia Turingovej ceny]]
[[Kategória:Grécki informatici]]
[[Kategória:Francúzski informatici]]
[[Kategória:Francúzske osobnosti gréckeho pôvodu]]
101 000

úprav