He has SB, SM and PhD degrees in Computer Science from MIT. His research interests include program analysis, exploiting properties of the physical world for security, and applications of cryptography. He was the lead developer of the LCLint and Splint annotation-assisted lightweight static analysis tools, and a lead investigator on NSF and DARPA-funded projects on system security, networking, and programming languages. He teaches courses on computer science, software engineering, security, and cryptography at the University of Virginia. For more information, see http://www.cs.virginia.edu/evans/