Edmund M. Clarke
An American computer scientist who, with Emerson and Sifakis, co-invented Model Checking, a groundbreaking automated technique for verifying hardware and software designs.
Key facts
- Role
- Inventor
- Nationality
- American
- Born
- 1945
- Died
- 2020