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.

• Overview: Connecting machine-verified static analyzers to machine-verified optimizing compilers. Vision: Foundational High-Level Static Anlysis Software: Mechanized Semantic Library

  
  

• Technology Policy, the interaction of intellectual property policy with freedom of speech and freedom of inquiry. I'm a member of Princeton's 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 Fall 2010. Miscellany.