Edmund Clarke
Emeritus University Professor, Computer Science Department
Gates and Hillman Centers
Email:
ec10@andrew.cmu.edu
Phone:
(412) 268-2628
Fax:
412-268-2628
Personal Website:
Research Interests:
Formal Methods/Verification