Andrew W. AppelEugene Higgins Professor Emeritus of Computer Science
|
![]() |
Bio & Contact |
Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology.
![]() VST project page |
![]() Formally Verified Numerical Methods |
![]() Voting machines |