Andrew W. Appel
Department Chair and
|Bio & Contact|
Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology.
Verified Software Toolchain project|
The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine
Security Seals on Voting Machines: A Case Study
Previous research projects
Standard ML of New Jersey, a compiler for the type-safe functional programming language ML.
Foundational Proof-Carrying Code for security of untrusted code.
Enterprise Network Security Analysis.