John Mitchell
Computer security: access control, network protocols, and software system security. Programming languages, type systems, object systems, and formal methods. Applications of mathematical logic to computer science.
Last modified Sat, 23 Feb, 2013 at 19:37
Mary and Gordon Crary Family Professor in the School of Engineering
