Edmund Clarke

Emeritus University Professor
Computer Science Department
9231
Gates and Hillman Centers
Email: 
ec10@andrew.cmu.edu
Phone: 
(412) 268-2628
Fax: 
412-268-2628
Research Interests: