Karl Crary

Associate Professor, Computer Science Department
Office: 
9217
Gates and Hillman Centers
Email: 
crary@cs.cmu.edu
Phone: 
(412) 268-7687
Fax: 
412-268-5576
Research Interests: 
Formal Methods/Verification
Logic
Programming Languages