Frank Pfenning

Department Head, SCS Dean's Office
Professor, SCS Dean's Office
Office: 
7019
Gates and Hillman Centers
Email: 
fp@cs.cmu.edu
Phone: 
(412) 268-6343
Fax: 
412-268-3608
Research Interests: 
Programming Languages
Logic
Security