Edmund M. Clarke, Date of Birth, Place of Birth
TweetEdmund M. Clarke
American computer scientist
Date of Birth: 27-Jul-1945
Place of Birth: Newport News, Virginia, United States
Profession: engineer, computer scientist, professor, researcher
Nationality: United States
Zodiac Sign: Leo 
About Edmund M. Clarke
- Edmund Melson Clarke, Jr.
- (born July 27, 1945) is an American retired 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 Emeritus 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.
Read more at Wikipedia
See Also
- Famous People's Birthdays on 27 July, United States
- Famous People's Birthdays in July, United States
- Famous engineer's Birthdays on 27 July, United States
- Famous engineer's Birthdays in July, United States
- Famous computer scientist's Birthdays on 27 July, United States
- Famous computer scientist's Birthdays in July, United States
- Famous professor's Birthdays on 27 July, United States
- Famous professor's Birthdays in July, United States
- Famous researcher's Birthdays on 27 July, United States
- Famous researcher's Birthdays in July, United States