Edmund M. Clarke
TITLE: FORE Systems University Professor of Computer Science and
Professor of Electrical and Computer Engineering
OFFICE: Carnegie Mellon University
Department of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
Address: 457 Old Farm Road
Pittsburgh, PA 15228
Marital Status: Married, three sons
Cornell University, Ithaca, NY: Doctor of Philosophy, Computer Science, September 1976;
Master of Science, Computer Science, August 1974.
Duke University, Durham, NC: Master of Arts, Mathematics, August 1968.