Andrew
Appel
Eugene Higgins Professor of Computer Science
Research interests:
Computer security; information technology policy; election technology; programming languages; compilers; programming language semantics; program analysis; program verification; machine-checked proofs