personnel profile
John C. Mitchell |
|
Research Statement
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.
| Degree | Discipline | Year | School |
|---|---|---|---|
| PhD | 1984 | MIT |
Academic Honors & Awards
Mary and Gordon Crary Family Professor in the School of Engineering
