Dutch inventor and environmentalist | Champions of the Earth (2014), Index Award (2015), Dutchman of the Year (2017), European of the Year (2017), Prince of
Edmund M. Clarke
- Newport News: July 27, 1945 celebration
- Pittsburgh: December 22, 2020 celebration


-
account_circle Username
Edmund M. Clarke -
flag Country
United States -
wc Gender
Male -
badge Full Name
Edmund M. Clarke -
assignment_ind Surname
-
tv_signin Nickname
-
identity_platform Alias
-
celebration Date of birth
Newport News: July 27, 1945 -
deceased Rest in Peace
Pittsburgh: December 22, 2020 -
language Official Website
http://www.cs.cmu.edu/~emc/ -
engineering Field of Work
- computer science
- informatics
-
local_library teacher
-
person_book Student
- E. Allen Emerson
-
school Education
- Duke University (1968)
- Cornell University (1976)
- University of Virginia (1967)
-
trophy Awards & Honors
- Bower Award and Prize for Achievement in Science (2014)
- IEEE Fellow
- Turing Award (2007)
- ACM Fellow (1998)
- Fellow of the American Academy of Arts and Sciences
- honorary doctor of the Vienna Technical University
- Benjamin Franklin Medal (2014)
- Herbrand Award (2008)
- Harry H. Goode Memorial Award (2004)
- Paris Kanellakis Award (1998)
-
social_leaderboard Notable Works
- American computer scientist (1945–2020) | Bower Award and Prize for Achievement in Science (2014), IEEE Fellow, Turing Award (2007), ACM Fellow (1998)