Andrew W. Appel Professor of Computer Science Princeton University

Bio & Contact Publications Vita My students.

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.

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 2008.

"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)