Joseph Sifakis: Rozdiel medzi revíziami
Vzhled
Smazaný obsah Přidaný obsah
d Bot: Odstránenie 13 odkazov interwiki, ktoré sú teraz dostupné na Wikiúdajoch (d:q92781) |
d kat |
||
Riadok 9: | Riadok 9: | ||
}} |
}} |
||
'''Joseph Sifakis''' ( |
'''Joseph Sifakis''' ({{v jazyku|gre|Ιωσήφ Σηφάκης - 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 == |
== Referencie == |
||
Riadok 23: | Riadok 23: | ||
{{DEFAULTSORT:Sifakis, Joseph}} |
{{DEFAULTSORT:Sifakis, Joseph}} |
||
[[Kategória:Narodenia v 1946]] |
|||
[[Kategória:Držitelia Turingovej ceny]] |
[[Kategória:Držitelia Turingovej ceny]] |
||
[[Kategória:Grécki informatici]] |
[[Kategória:Grécki informatici]] |
||
[[Kategória:Francúzski informatici]] |
[[Kategória:Francúzski informatici]] |
||
[[Kategória:Francúzske osobnosti gréckeho pôvodu]] |
Verzia z 08:58, 8. máj 2017
Joseph Sifakis | |
grécky informatik | |
Narodenie | 26. december 1946 (77 rokov) Irakleio, Kréta, Grécko |
---|---|
Odkazy | |
Webstránka | imag.fr |
Commons | 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.
Referencie
- ↑ "Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.
Iné projekty
- Commons ponúka multimediálne súbory na tému Joseph Sifakis