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

Bio & Contact Publications Vita My students AppelFest 2024

Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology.

January-June 2025: On sabbatical, visiting Cornell University.

VST project page	Formally Verified Numerical Methods	Voting machines
CertiCoq project page	VeriFFI

Technology policy work: voting machines Selected recent articles: (more here and here) Securing the Vote — National Academies report Florida is the Florida of ballot-design mistakes Pilots of risk-limiting election audits in California and Virginia BMDs are not meaningfully auditable Did Sean Hannity misquote me? Georgia’s election avoided an even worse nightmare... New Hampshire Election Audit, part 1; and part 2 ES&S Uses Undergrad Project to Lobby NY Legislature A PDF File Is Not Paper, So PDF Ballots Cannot Be Verified Magical thinking about BMD contingency plans Is Internet Voting Secure? The Science and the Policy Battles Why the voting machines failed in Mercer County Next Steps for Mercer County Unrecoverable Election Screwup in Williamson County TX Suggested Principles for State Statutes Regarding Ballot Marking and Vote Tabulation CAC-Vote: Another Insecure Internet Voting System

Other technology policy work I've done

A bit of history

Previous research projects