Edmund Clarke

De la Wikipedia, enciclopedia liberă
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Date personale
Născut[1] Modificați la Wikidata
Newport News⁠(d), Virginia, SUA Modificați la Wikidata
Decedat (75 de ani)[2] Modificați la Wikidata
Pittsburgh, Pennsylvania, SUA Modificați la Wikidata
Cauza decesuluicauze naturale (COVID-19[2]) Modificați la Wikidata
Naționalitateamerican
CetățenieFlag of the United States.svg Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
cadru didactic universitar[*]​
inginer
matematician Modificați la Wikidata
Limbi vorbitelimba engleză Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Harvard
Universitatea Carnegie Mellon
Alma MaterUniversitatea din Virginia[*]​
Duke University
Universitatea Cornell  Modificați la Wikidata
OrganizațiiInstitutul Inginerilor Electrotehniști și Electroniști
Academia Americană de Arte și Științe[*]​[3]
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]][4]
Association for Computing Machinery  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online
Modifică date / text Consultați documentația formatului

Edmund Melson Clarke, Jr. (n. ,[1] Newport News⁠(d), Virginia, SUA – d. ,[2] Pittsburgh, Pennsylvania, SUA) a fost 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.

Note[modificare | modificare sursă]

  1. ^ a b Edmund M. Clarke, SNAC, accesat în  
  2. ^ a b c Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (în engleză) 
  3. ^ (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf, accesat în   Lipsește sau este vid: |title= (ajutor)
  4. ^ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx  Lipsește sau este vid: |title= (ajutor)


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)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)

Flag of the United States.svg Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=Edmund_Clarke&oldid=15540836