Andrew W. Appel Professor, Department of Computer Science and Center for Information Technology Policy, Princeton University

Bio & Contact Publications Vita My students.

I have moved to a new office, Room 309 Sherrerd Hall.

Research Interests. I do research in computer security, compilers, programming languages, type theory, and functional programming.

• Concurrent C Minor, connecting machine-verified source programs to machine-verified optimizing compilers.
• Technology Policy, the interaction of intellectual property policy with freedom of speech and freedom of inquiry.
• 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 Compilers in Spring 2009.

"No one has ever yet got into trouble from a contradiction in logic." (Wittgenstein, ca. 1939)
"The real harm will not come in unless there is an application, in which case a bridge may fall down." (Turing, ca. 1939)