Edmund M. Clarke
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (February 2013) |
Edmund M. Clarke | |
---|---|
Robert Lee Constable | |
Doctoral students | |
Website | www |
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American
Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award
.
Biography
Born in
Pittsburgh, PA. He was appointed Full Professor in 1989. In 1995, he became the first recipient of the FORE Systems Professorship, an endowed chair in the Carnegie Mellon School of Computer Science. He became a University Professor in 2008 and became an emeritus professor in 2015.[2]
He died from COVID-19 in December 2020, at age 75, during the COVID-19 pandemic in Pennsylvania.[3][4]
Work
Clarke's interests included
theorem prover (Parthenon) and the first theorem prover to be based on a symbolic computation system (Analytica). In 2009, he led the creation of the Computational Modeling and Analysis of Complex Systems (CMACS) center, funded by the National Science Foundation. This center has a team of researchers, spanning multiple universities, applying abstract interpretation and model checking to biological and embedded systems
.
Professional recognition
Clarke was a
Bower Award and Prize for Achievement in Science from the Franklin Institute for "his leading role in the conception and development of techniques for automatically verifying the correctness of a broad array of computer systems, including those found in transportation, communications, and medicine." He was a member of Sigma Xi and Phi Beta Kappa
.
See also
References
- ^ Edmund Melson Clarke, Jr.
- ^ "Edmund M. Clarke". Cs.cmu.edu. Retrieved 24 December 2020.
- ^ James S. Clarke [@Jim_in_Oregon] (December 23, 2020). "My father, Edmund M Clarke, passed away from Covid today. [...]" (Tweet) – via Twitter.
- ^ "Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science". Cs.cmu.edu. Retrieved 24 December 2020.
External links
Wikimedia Commons has media related to Edmund M. Clarke.
- Edmund M. Clarke at the Mathematics Genealogy Project
- Home page at Carnegie Mellon University
- Online biography from home page
- Turing Award announcement
- Model Checking book
- CMACS home page
- Edmund M. Clarke publications indexed by Microsoft Academic