Andrew W. AppelEugene Higgins Professor of Computer Science
|
Bio & Contact |
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 Professors Gupta, Kincaid, or Walker); and should apply through normal channels rather than writing to us directly.
VST project page |
CertiCoq project page |
VeriFFI |
||
|
|
Voting machines |
Other technology policy work I've done