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 of Computer Science at Princeton University and currently serves as a Visiting Professor at Cornell University. His research interests encompass program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology. Appel is notable for his contributions to formally verified numerical methods in scientific computing and technology policies surrounding voting machines. His work includes participation in the Verified Software Toolchain project and development of a verified compiler for Coq. He has engaged in various projects related to network security, cryptography, and the verification of functional programming languages such as Standard ML. His educational outreach includes public lectures on significant mathematical achievements like the Four Color Theorem.
Princeton University • Princeton, NJ, USA
Served as a faculty member focusing on computer science education and research.
Cornell University • Ithaca, NY, USA
Conducting research and teaching as a visiting academic in the Computer Science department.
GRE scores are not accepted. Ph.D. is the primary degree; students are not required to hold an M.S.E. prior to admission.