Andrew Appel on CircleID

Andrew Appel

Professor of Computer Science at Princeton University
Joined on August 17, 2016
Total Post Views: 16,981


	About


	Send Message

Andrew W. Appel is Eugene Higgins Professor of Computer Science at Princeton University, where he has been on the faculty since 1986. He served as Department Chair from 2009-2015. His research is in software verification, computer security, programming languages and compilers, and technology policy. He received his A.B. summa cum laude in physics from Princeton in 1981, and his PhD in computer science from Carnegie Mellon University in 1985. He has been Editor in Chief of ACM Transactions on Programming Languages and Systems and is a Fellow of the ACM (Association for Computing Machinery). He has worked on fast N-body algorithms (1980s), Standard ML of New Jersey (1990s), Foundational Proof-Carrying Code (2000s), and the Verified Software Toolchain (2010s).

Website

Except where otherwise noted, all postings by Andrew Appel on CircleID are licensed under a Creative Commons License.

Recent Blogs

Andrew Appel

Comments

Topic Interests

Recent Blogs

Can Legislatures Safely Vote by Internet?

Security Against Election Hacking - Part 2: Cyberoffense Is Not the Best Cyberdefense!

Security Against Election Hacking - Part 1: Software Independence

Popular Posts

Security Against Election Hacking - Part 1: Software Independence

Security Against Election Hacking - Part 2: Cyberoffense Is Not the Best Cyberdefense!

Can Legislatures Safely Vote by Internet?