Andrew W. Appel

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

 Andrew Appel Bio & Contact

Publications

Vita

My students

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

DeepSpec   The Science of Deep Specification
National Science Foundation Expedition in Computing 2016-2021

Verified Software Toolchain
VST project page 		     CertiCoq</img
CertiCoq project page 		      DeepSpec
Cryptography 		     
Voting machines

Technology Policy

Center for Information Technology Policy

My blog at Freedom to Tinker

Other technology policy work I've done

Internet Voting? Really?

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
Video: Turing's legacy and computer science at Princeton 		Kenneth I. Appel
Kenneth I. Appel