Iliano Cervesato Teaching Professor Research Areas: General programming languages Logic Network security
Nicolas Christin Director, Societal Computing Ph.D.ProgramProfessor Research Areas: Government technology policy Networks Network security Privacy Preserving Protocols Security and privacy
Lorrie Cranor Co-Director, Msit-Privacy Engineering ProgramProfessor Research Areas: AI Ethics Computing / Technology Policy Government technology policy Human Robot Interaction Network security Privacy Preserving Protocols Security and privacy Usability in security and privacy
Bryan Parno Associate Professor Research Areas: Cryptography Formal software verification Network security Operating systems Security and privacy Verification
Frank Pfenning Professor Research Areas: Automated reasoning General programming languages Logic Network security Type theory