Edmund M. Clarke

経歴

1. 1945
   Born
2. 1998
   Won Paris Kanellakis Award
3. 1998
   Won ACM Fellow
4. 2004
   Won Harry H. Goode Memorial Award
5. 2005
   Member of National Academy of Engineering
6. 2007
   Won Turing Award
7. 2008
   Won Herbrand Award
8. 2011
   Member of American Academy of Arts and Sciences
9. 2020
   Passed away
10. Member of Institute of Electrical and Electronics Engineers

豆知識

• •Place of birth: Newport News
• •Citizenship: United States
• •Known as: computer scientist, university teacher, engineer, mathematician