Andrew W. Appel Department Chair and Eugene Higgins Professor of Computer Science Department of Computer Science Princeton University

Bio & Contact Publications Vita My students

Research Interests. I do research in computer security, compilers, programming language semantics, machine-checked proofs, and election technology.

Verified Software Toolchain project Technical Overview Mechanized Semantic Library

Technology Policy My blog at Freedom to Tinker Other technology policy work I've done

Voting Machines: research, teaching, and trial testimony. The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine Security Seals on Voting Machines: A Case Study

Previous research projects
Standard ML of New Jersey, a compiler for the type-safe functional programming language ML.
Foundational Proof-Carrying Code for security of untrusted code.
Enterprise Network Security Analysis.

Teaching Compilers in Spring 2012.