Regular biography
Andrew 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.
Scholar-generated biography
Andrew W. Appel is a Professor Emeritus of Computer Science at Princeton University, known for his significant contributions to programming languages, compiler design, and software verification. His research spans foundational aspects of programming languages, including type systems, proof-carrying code, and memory safety. Appel has developed influential tools and methodologies for verifying software correctness and enhancing system security. His work on logic-based network security analysis and efficient garbage collection systems has had a lasting impact on computer science. His publications often intersect with formal methods and program verification, emphasizing rigorous approaches to software development.