Andrew W. Appel

Department Chair and
Eugene Higgins Professor of Computer Science
Department of Computer Science
Princeton University

Andrew Appel Bio & Contact



My students

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

Verified Software Toolchain

VST project page
       Program Logics for Certified Compilers
  (hardcover)   Kindle $10.41
   Postdoc position available!

CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs

Technology Policy

Center for Information Technology Policy

My blog at Freedom to Tinker

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

Standard ML of New Jersey, a compiler for the type-safe functional programming language ML.
Foundational Proof-Carrying Code for security of untrusted code.
Enterprise Network Security Analysis.

Historical notes

Alan Turing's Systems of Logic Kenneth I. Appel 2013

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