Andrew W. Appel
Appel has brought proof-oriented software assurance into contact with real security questions, including cryptographic software, voting systems, and election policy.
Andrew W. Appel is a Princeton computer scientist whose research spans software verification, computer security, programming languages, compilers, and election technology.
Verification that reaches systems
Appel’s research has developed proof-oriented tools and methods for reasoning about software. The Verified Software Toolchain is part of that effort to apply formal verification to systems software and related components.
Security and civic technology
He has also examined voting-machine and election-system security in public-facing technical and policy work, emphasizing auditable election infrastructure.
Timeline
- 1985Receives a Ph.D. in computer science from Carnegie Mellon University.
- 1986Joins Princeton University.
- 2004Begins sustained public work on voting-machine security.
- 2025Becomes professor emeritus at Princeton while continuing research.
Andrew W. Appel
- Type
- Person
- Era
- 1980s-Present
- Known for
- Verified Software Toolchain; Election security; Formal verification
- Tags
- formal-verification, computer-security, election-security, programming-languages
Created by Joas A Santos · Something wrong or want it removed? Open an issue.