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: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology.

Verified Software Toolchain project

Technology Policy My blog at 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.

Historical notes