Info: ****** John Mitchell has research interests in 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. Dr. Mitchell has a B.S. degree from Stanford University and a M.S. and Ph.D. degree from MIT.