Jonathan Aldrich Professor Research Areas: General programming languages Software architectures Software engineering Theorem proving and SAT solving Type theory
Robert Harper Professor Research Areas: General programming languages Proof theory Semantics Type theory
Frank Pfenning Professor Research Areas: Automated reasoning General programming languages Logic Network security Type theory
