Andrew W. AppelProfessor and Department Chair,
|
![]() |
Bio & Contact |
Research Interests. I do research in computer security, compilers, programming language semantics, machine-checked proofs, and election technology.
|
Overview:
Connecting machine-verified static analyzers
to machine-verified optimizing compilers. Vision: Foundational High-Level Static Anlysis Software: Mechanized Semantic Library |
Technology Policy, the
interaction of intellectual property policy with freedom of speech and
freedom of inquiry.
|
| Voting Machines: research, teaching, and trial testimony. |
|
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.
Teaching Programming Languages in Fall 2010. | |