Andrew Appel

Eugene Higgins Professor of Computer Science

Office: Room 306 Computer Science
Princeton, NJ 08544

Email: appel@cs.Princeton.EDU

Phone: 609-258-4627

Interdisciplinary Research Area: Computing and Network Systems, Security and Privacy

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