Andrew W. Appel Professor and Department Chair, 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.

• Concurrent C Minor, connecting machine-verified source programs to machine-verified optimizing compilers.
  • Vision: Foundational High-Level Static Anlysis
• Technology Policy, the interaction of intellectual property policy with freedom of speech and freedom of inquiry.
  • My blog at Freedom-to-Tinker
  • Other technology policy work I've done
• Voting Machines: research, teaching, and trial testimony.
  • Insecurities and Inaccuracies of the Sequoia AVC Advantage 9.00H DRE Voting Machine
  • Security Seals on AVC Advantage Voting Machines are Easily Defeated

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 Programming Languages in Spring 2009.

Miscellany.