| | |
Summary: 8/15/08
1
CURRICULUM VITAE
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
412-268-2628
Address: 457 Old Farm Road
Pittsburgh, PA 15228
412-571-0794
Citizenship: USA
Marital Status: Married, three sons
EDUCATION:
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.
|