Andrew Appel

Eugene Higgins Professor of Computer Science

Website: http://www.cs.princeton.edu/~appel/

Office: Computer Science, Room 209

Phone: 609-258-4627

Research interests: Computer security; information technology policy; election technology; programming languages; compilers; programming language semantics; program analysis; program verification; machine-checked proofs