Edmund M. Clarke
Computer Scientist, Academic
1945 –
Photo Credit ยป
36 Views
Who is Edmund M. Clarke?
Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a recipient of the 2007 Association for Computing Machinery A.M. Turing Award.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Jul 27, 1945
- Also known as
- Edmund Melson Clarke, Jr
- E. M. Clarke
- Nationality
- United States of America
- Profession
- Education
- Doctorate, Cornell University
Computer Science
( - 1976) - Master of Arts, Duke University
Mathematics
( - 1968) - Bachelor's degree, University of Virginia
Mathematics
( - 1967)
- Doctorate, Cornell University
- Employment
- FORE Systems Professor of Computer Science, Carnegie Mellon University
(1995 - ) - Carnegie Mellon University
(1982 - ) - Assistant Professor of Computer Science, Harvard University
(1978 - 1982) - Carnegie Mellon University
(1989 - 1995) - Duke University
(1976 - 1978)
- FORE Systems Professor of Computer Science, Carnegie Mellon University
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Edmund M. Clarke." Biographies.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.biographies.net/people/en/edmund_m_clarke>.
Powered by CITE.ME
Discuss this Edmund M. Clarke biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In