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.

VST project page

(e-book)   (hardcover)

CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs

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

Voting Machines Research, teaching, and trial testimony Security Seals on Voting Machines: A Case Study

The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine

Previous research projects

Historical notes