Edmund M. Clarke
Edmund Melson Clarke, Edmund Melson Clarke, Jr., Edmund Clarke
Get notified whenever this star has news
Browse by day
Who is this?
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.
Career
- 1945Born
- 1998Won Paris Kanellakis Award
- 1998Won ACM Fellow
- 2004Won Harry H. Goode Memorial Award
- 2005Member of National Academy of Engineering
- 2007Won Turing Award
- 2008Won Herbrand Award
- 2011Member of American Academy of Arts and Sciences
- 2020Passed away
- Member of Institute of Electrical and Electronics Engineers
Trivia
- •Place of birth: Newport News
- •Citizenship: United States
- •Known as: computer scientist, university teacher, engineer, mathematician
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3E%E9%AB%98%E5%96%84%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3EMY%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3E%ED%99%8D%ED%98%9C%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}