Robert Harper Professor Research Areas: General programming languages Proof theory Semantics Type theory
Teruko Mitamura Research Professor Research Areas: Anomaly Detection Intrusion and Anomaly Detection Machine translation Multimedia databases Natural language processing Question answering Semantics
