Academic Background: Ph.D. in Computer Science, Stanford University, 1992; B.S., MIT.
Research Interests: Computer security, formal verification, and programming languages; develops secure software systems.
Appointments: Professor of Computer Science, Stanford University.
Awards: ACM SIGSOFT Distinguished Service Award; IEEE Computer Society Fellow.
Publications: Co-author of The Design and Implementation of the FreeBSD Operating System (Addison-Wesley); articles in ACM Transactions on Programming Languages.
Additional Contributions: Developer of Stanford’s secure systems curriculum; consultant to tech industry on cybersecurity.