Edmund M. Clarke
Univeristy Professor, Emeritus
Content for class "clear" Goes Here
Mailing address
Office
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
USA
Gates-Hillman Complex, GHC-9231
Phone: 412-268-2628
FAX: 412-268-5576
Email
Executive Assistant
emc@cs.cmu.edu
Charlotte Yano
GHC 6027
Phone: 412-268-7656
Email: yano@cs.cmu.edu
