Edmund Clarke

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Edmund Melson Clarke
Edmund Clarke
americký informatik
Narodenie 27. júl 1945 (67 rokov)
Newport News, Virginia, USA

Edmund Melson Clarke (* 27. júl 1945, Newport News, Virginia, USA) je americký informatik, ktorý je známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking). Za tento prínos dostal v roku 2007 spolu s Ernestom Allenom Emersonom a Josephom Sifakisom Turingovu cenu.

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=Edmund_Clarke&oldid=5356704“