Edmund Clarke papers

Content Description

Edmund Clarke, was the FORE Systems University Professor of Computer Science. He was named a University Professor in 2008 and became Professor Emeritus in Aug 2015. His research interests include hardware and software verification and automatic theorem proving. In particular, his research group developed Symbolic Model Checking using BDDs, Bounded Model Checking using fast CNF satisfiability solvers, and pioneered the use of CounterExample-Guided-Abstraction-Refinement (CEGAR). He is one of the founders of the Computer Aided Verification (CAV) conference and was the former editor-in-chief of the journal Formal Methods in Systems Design. He was a co-recipient of the 2007 ACM Turing Award for his role in developing Model Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

Provenance

Acquisition information is unavailable. This accession record was created an unknown number of years after the materials were acquired.

Language of Description

English

Script of Description

Latin

Restrictions Apply

No