Generate a tailored SOP for Dr. Andrew Appel. Improve your application with a focused, well-structured draft.
Andrew Appel is the Eugene Higgins Professor Emeritus in the Department of Computer Science at Princeton University and a Visiting Professor at Cornell University. He served as the chair of Princeton's Computer Science department from 2009 to 2015. His research interests include software verification, computer security, programming languages, compilers, and technology policy, particularly concerning voting machines and election systems. Appel received an A.B. summa cum laude in physics from Princeton in 1981 and obtained his Ph.D. in computer science from Carnegie Mellon University in 1985. He is a fellow of the Association for Computing Machinery and has worked on various projects throughout his career, including fast N-body algorithms in the 1980s, Standard ML New Jersey in the 1990s, Foundational Proof-Carrying Code in the 2000s, and the Verified Software Toolchain in the 2010s, leading up to formally verified numerical methods in the 2020s. Appel has been active in advising legislators on the implications of using computers for voting.
Princeton University • Princeton, NJ
Served as the chair of the Computer Science department and engaged in various research projects related to verification and security.
Cornell University • Ithaca, NY
Engaged in teaching and research in computer science.
GRE scores are not accepted. Ph.D. is the primary degree; students are not required to hold an M.S.E. prior to admission.