Andrew Appel's Home PageAndrew W. Appel Eugene Higgins Professor of Computer Science Department of Computer Science Princeton University Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology. Applicants to the PhD program interested in programming languages and formal methods should consider Professor Milano (in addition to
