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.
475 Via Ortega, Stanford, CA 94305
Stanford Engineering Magazine
Open Faculty Positions
Stage 1 and 2 lab operations
Your source for engineering research and ideas
© Stanford University, Stanford, California 94305.