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
Research Interests: 
Formal Methods/Verification