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		CertiCoq project page		VeriFFI
				Voting machines

Selected articles on voting: (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 Sort the mail-in ballot envelopes, or don't? Suggested Principles for State Statutes Regarding Ballot Marking and Vote Tabulation

Technology Policy

My blog at

Other technology policy work I've done

A bit of history

Previous research projects