Frank Pfenning

Professor, Computer Science Department
Office: 
6017
Gates and Hillman Centers
Email: 
fp@cs.cmu.edu
Phone: 
(412) 268-6343
Fax: 
412-268-3608
Research Interests: 
Programming Languages
Logic
Security