Joseph Sifakis: Rozdiel medzi revíziami

	Joseph Sifakis
	; grécky informatik
Narodenie	26. december 1946 (77 rokov); Irakleio, Kréta, Grécko
Odkazy
Webstránka	imag.fr
Commons	Joseph Sifakis
	Biografický portál

Interaktívne prechádzať históriu

← Predchádzajúca úprava Ďalšia úprava →

Smazaný obsah Přidaný obsah

VizuálneWikitext

V textu

Verzia z 08:58, 8. máj 2017

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

Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.

[1] "Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.

[1]

@@ Riadok 9: / Riadok 9: @@
 }}
-'''Joseph Sifakis''' (po [[gréčtina|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]].
+'''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 ==
@@ Riadok 23: / Riadok 23: @@
 {{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]]