Andrew Appel

Andrew Appel
Name	Andrew Appel
Birth date	1959
Nationality	American
Alma mother	Princeton University
Alma son	Massachusetts Institute of Technology
Occupation	Computer scientist, professor, author

Andrew Appel is an American computer scientist and professor noted for work in compiler construction, programming languages, and electronic voting security. He has held academic appointments and worked on influential software and books that bridge theory and practice. His research spans formal semantics, compiler verification, systems programming, and public-interest technology.

Early life and education

Appel was born in 1959 and raised in the United States, completing undergraduate studies at Princeton University and graduate studies at the Massachusetts Institute of Technology. At Princeton University he studied subjects connected to Computer Science and Mathematics and later pursued doctoral research supervised within the Stanford University-linked circles at MIT. His education placed him in contact with institutions such as Bell Laboratories, IBM, Microsoft Research, and faculty linked to the ACM and IEEE.

Academic and research career

Appel became a faculty member at Princeton University where he integrated teaching and research across courses associated with Programming Languages, Operating Systems, and Algorithms. He contributed to departmental initiatives involving collaborations with groups at Carnegie Mellon University, Harvard University, Yale University, and international partners like University of Cambridge and École Polytechnique Fédérale de Lausanne. His lab produced students who went on to roles at Google, Amazon, Facebook, and research labs including Bell Labs Research and Microsoft Research.

Contributions to compilers and programming languages

Appel is known for influential work on compiler design, garbage collection, and formal semantics, building on traditions established by researchers at Stanford University, University of California, Berkeley, and Cornell University. He developed techniques related to register allocation, stack management, and intermediate representations used in projects like LLVM and historical systems such as GCC and Pascal. His research engaged with formal methods communities around Coq, HOL, and Isabelle to advance verified compilation. Collaborators and interlocutors include researchers from Princeton University, MIT, Carnegie Mellon University, and the University of Washington.

Work on electronic voting security

Appel became a prominent critic of certain electronic voting machines and participated in examinations of systems produced by vendors linked to procurement by state and county election officials in the United States. His public-interest work addressed concerns about vulnerabilities in voting systems comparable to incidents discussed in contexts like the 2000 United States presidential election and debates in state legislatures such as those in New Jersey and California. He testified before bodies including state legislatures and engaged with organizations such as the Electronic Frontier Foundation, the Brennan Center for Justice, and the National Institute of Standards and Technology. His advocacy influenced adoption of audits and paper-trail requirements discussed in forums associated with U.S. Congress hearings and standards processes involving the National Conference of State Legislatures.

Books and selected publications

Appel authored and coauthored texts and papers used in courses at institutions like Princeton University and MIT, and published in venues including conferences run by the ACM SIGPLAN and the IEEE Computer Society. Notable works include textbooks and monographs used alongside curricula at Stanford University and Carnegie Mellon University, and articles appearing in proceedings of conferences such as POPL, PLDI, and ICFP. His publications cite and are cited by papers affiliated with authors from Harvard University, Yale University, University of California, Berkeley, and international venues like SIGGRAPH and FOSSASIA.

Awards and honors

Appel's recognitions align with honors granted by professional societies including the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers. He has received acknowledgments from academic institutions such as Princeton University and colleagues at Massachusetts Institute of Technology, and participated in panels and workshops organized by groups like the National Science Foundation and the White House Office of Science and Technology Policy.

Category:American computer scientists Category:Princeton University faculty Category:Massachusetts Institute of Technology alumni