Andrew Appel Andrew W. Appel is Eugene Higgins Professor of Computer Science at Princeton University, where he has been on the faculty since 1986. He served as Department Chair from 2009-2015. His research is in software verification, computer security, programming languages and compilers, and technology policy. He received his A.B. summa cum laude in physics from Princeton in 1981, and his PhD in computer science from Carnegie Mellon University in 1985. He is a Fellow of the ACM (Association for Computing Machinery). He has worked on fast N-body algorithms (1980s), Standard ML of New Jersey (1990s), Foundational Proof-Carrying Code (2000s), Verified Software Toolchain (2010s), Verified Network Toolchain and Verified Numerical Methods (2020s). His public policy research focuses on voting machines and election systems: technology, security, policy.
Andrew W. Appel
Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540

Phone: +1 (609) 258-4627