A
Andrew Appel
Eugene Higgins Professor of Computer Science, Emeritus
Research Interests
Law & Public Policy
Programming Languages & Compilers
Security & Privacy
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Security and Verification in Computing
Logic, Reasoning, and Knowledge