Andrew Appel

Eugene Higgins Professor of Computer Science

Website | Email

Office: Room 209 Computer Science
Princeton, NJ 08544

Phone: 609-258-4627

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

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