Andrew Appel Bio & Contact
Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology.
January-June 2025: On sabbatical, visiting Cornell University.
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