Edmund M. Clarke

Edmund M. Clarke
Persoonlijke gegevens
Geboortedatum	27 juli 1945
Geboorteplaats	Newport News, Virginia
Overlijdensdatum	22 december 2020
Overlijdensplaats	Pittsburgh
Beroep	informaticus, academisch docent, ingenieur, wiskundige
Lid van	Institute of Electrical and Electronics Engineers, American Academy of Arts and Sciences,[1] National Academy of Engineering,[2] Association for Computing Machinery[3]
Academische achtergrond
Alma mater	Universiteit van Virginia,[4] Duke University,[4] Cornell-universiteit[4]
Promotor(s)	Robert Lee Constable[5]
Wetenschappelijk werk
Vakgebied(en)	Informatica
Bekend van	Model checking
Prijzen en erkenningen	A.M. Turing Award (2007),[6] Paris Kanellakis Award (1998),[7] Herbrand Award (2008),[8] Harry H. Goode Memorial Award (2004),[9] ACM Fellow (1998),[6] IEEE Fellow, Bowerprijs voor Wetenschappelijke prestaties (2014),[10] Lid van de American Academy of Arts and Sciences, Benjamin Franklinmedaille (2014), honorary doctor of the Vienna Technical University
Website
Portaal    Informatica

Edmund Melson Clarke, Jr. (Newport News (Virginia), 27 juli 1945 - Pennsylvania, 22 december 2020^[11]) was een Amerikaans informaticus. Samen met E. Allen Emerson en Joseph Sifakis heeft hij model checking ontwikkeld, een techniek voor formele verificatie van hardware en software. Hiervoor ontvingen zij in 2007 de Turing Award. Clarke heeft ook bijdragen geleverd op het gebied van automatisch redeneren. Clarke was professor op het gebied van informatica aan de Carnegie Mellon University.

Clarke ontving in 1967 een Bachelor of Arts in wiskunde aan de Universiteit van Virginia. In 1968 ontving hij de titel Master of Arts, eveneens in wiskunde, aan de Duke-universiteit. In 1974 behaalde hij de titel Master of Science in informatica aan de Cornell-universiteit. Hij promoveerde aan deze universiteit in 1976, ook op informatica. Hierna gaf hij les aan de Duke-universiteit en in 1978 ging hij naar de Harvard-universiteit. In 1982 ging hij naar de Carnegie Mellon University. In 2008 werd hij hier tot professor benoemd.

In 2007 won hij samen met E. Allen Emerson en Joseph Sifakis de Turing Award:

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

— Association for Computing Machinery^[12]