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)   Kindle $10.41

Postdoc position available!

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

2013 2015: CUNY's new supercomputer to be named in honor of alumnus Kenneth Appel