Dr. Geoffrey Smith
Computer security foundations, Quantitative information flow, Language-based security, Cryptography, Programming languages, and semantics.
Center for Cyber Infrastructure Education and Research for Trust and Assurance