Edmund M Clarke Jr. University Professor Emeritus, Computer Science Department Gates and Hillman Centers Email: ec10@andrew.cmu.edu Phone: (412) 268-2628 Fax: 412-268-2628 Personal Website: http://www.cs.cmu.edu/~emc/ Research Areas: Formal methods Model checking