Joseph Sifakis

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Joseph Sifakis
Joseph Sifakis
grécky informatik
Narodenie 26. december 1946 (66 rokov)
Irakleio, Kréta, Grécko

Joseph Sifakis (po grécky Ιωσήφ Σηφάκης - 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 [upraviť]

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

Iné projekty [upraviť]

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

Alan Perlis (1966) · Maurice Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James Hardy Wilkinson (1970) · John McCarthy (1971) · Edsger Wybe Dijkstra (1972) · Charles Bachman (1973) · Donald Ervin Knuth (1974) · Allen Newell/Herbert Simon (1975) · Michael Oser Rabin/Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979) · C. A. R. Hoare (1980) · Edgar Frank Codd (1981) · Stephen Cook (1982) · Ken Thompson/Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft/Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis/Richard Stearns (1993) · Edward Feigenbaum/Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick Brooks (1999) · Andrew Jao (2000) · Ole-Johan Dahl/Kristen Nygaard (2001) · Ronald Rivest/Adi Šamir/Leonard Adleman (2002) · Alan Kay (2003) · Vinton Cerf/Robert Kahn (2004) · Peter Naur (2005) · Frances Allenová (2006) · Edmund Clarke/Ernest Allen Emerson/Joseph Sifakis (2007) · Barbara Liskovová (2008) · Charles Thacker (2009) · Leslie Valiant (2010)
Zdroj: „http://sk.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=5356802“