Turing Centennial Celebration Princeton, NJ

Alan Turing's Systems of Logic The Princeton Thesis Ed. and intro. by Andrew W. Appel Princeton University Press, 2012 Introduction: The Birth of Computer Science at Princeton in the 1930s

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

Bio & Contact Publications Vita My students

Research Interests. I do research in computer security, compilers, programming language semantics, machine-checked proofs, and election technology.

Verified Software Toolchain project Technical Overview Mechanized Semantic Library

Technology Policy My blog at Other technology policy work I've done

Voting Machines: research, teaching, and trial testimony. The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine Security Seals on Voting Machines: A Case Study

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.

Teaching compilers Spring 2012.