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.
![]() VST project page |
![]() CertiCoq project page |
![]() VeriFFI |
||
![]() |
![]() |
![]() Voting machines |
Other technology policy work I've done