Edmund Clarke

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Născut 27 iulie 1945 (1945-07-27) (67 de ani)
Rezidență Statele Unite ale Americii Statele Unite
Naționalitate american
Domeniu informatician
Instituție Universitatea Harvard
Universitatea Carnegie Mellon
Alma Mater Universitatea Virginia
Universitatea Duke
Universitatea Cornell
Cunoscut pentru Model checking
Premii Premiul Turing, 2007
modifică Consultați documentația formatului

Edmund Melson Clarke, Jr. (n. 27 iulie 1945) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software. Împreună cu E. Allen Emerson și Joseph Sifakis, a primit în 2007 Premiul Turing.

v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)
Flag of the United States.svg  Acest articol biografic despre un american este deocamdată un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la http://ro.wikipedia.org/w/index.php?title=Edmund_Clarke&oldid=7629215