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.
Previous research projects
Teaching Compilers in Spring 2009.
| Where in an academic C.V. does one list "science-fiction stories inspired by a research paper that I published"? |