Andrew W. Appel is Eugene Higgins Professor Emeritus and Senior Scholar in the Department of Computer Science at Princeton University, and Visiting Professor at Cornell University. He served from 2009-2015 as Chair of Princeton's CS department. His research is in software verification, computer security, programming languages and compilers, and technology policy (especially voting machines and election systems). He received his A.B. summa cum laude in physics from Princeton in 1981, and his Ph.D. in computer science from Carnegie Mellon University in 1985. Professor Appel is a Fellow of the Association for Computing Machinery. He has worked on fast N-body algorithms (1980s), Standard ML of New Jersey (1990s), Foundational Proof-Carrying Code (2000s), the Verified Software Toolchain (2010s), and formally verified numerical methods (2020s).

appel@princeton.edu
http://www.cs.Princeton.EDU/~appel