Primary Faculty
Michael Hicks
Advancing programming languages and software analysis to improve software security, reliability, and correctness.
Sebastian Angel
Building the next generation of confidential computing platforms with the use of trusted hardware and cryptography.
Andreas Haeberlen
Designing secure, reliable distributed systems with accountability and privacy guarantees.
Pratyush Mishra
Creating efficient cryptographic proof systems for practical secure computation.
Eric Wong
Improving the reliability, security, and trustworthiness of machine learning systems.
Steve Zdancewic
Advancing programming languages to enforce security and verify correct software behavior.
Affiliated Faculty
Tom Baker
Examining insurance, risk, and regulation at the intersection of technology, security, and society.
Osbert Bastani
Building trustworthy machine learning systems using programming languages, verification, and neurosymbolic AI.
Andre DeHon
Designing reconfigurable and efficient computing architectures for next-generation hardware systems.
Nick Falcone
Advancing applied cybersecurity through real-world systems, infrastructure security, and operational practice.
Brett Hemenway Falk
Enabling secure collaboration and digital trust through cryptography and secure multi-party computation.
Michael Horowitz
Studying cyber conflict, military innovation, and the global security implications of emerging technologies.
Justin (Gus) Hurwitz
Analyzing technology regulation, competition policy, and the economics of cybersecurity law.
Jing (Jane) Li
Developing high-performance and memory-centric computer architectures for future systems.
Ryan Marcus
Building secure and adaptive systems for data management with machine learning.
Danaé Metaxa
Building human-centered systems and evaluations for AI accountability and user empowerment.
Mayur Naik
Creating tools that make software and AI systems more reliable, scalarchitectures for future systems
Benjamin C. Pierce
Advancing programming language theory, type systems, and formal foundations of software.g.
Aaron Roth
Designing algorithms that ensure privacy, fairness, and accountability in AI- and data-driven systems.
Jonathan M. Smith
Exploring dependable and secure computer systems and networked infrastructure.
Polk Wagner
Studying intellectual property and innovation policy in technology-driven fields.
Christopher Yoo
Bridging law, policy, and technology in cybersecurity and communications governance.riven fields.