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
Related News

Princeton election expert warned legislators about a commonly used computer voting system

Part Seven: Computer Science at Princeton Engineering

Episode 3: Bulletproofing the Ballot Box

Four engineering scholars among Princeton’s first Presidential Postdoctoral Research Fellows

Experts assess voting security as midterm elections approach
