Verified Voting is pleased to welcome Andrew W. Appel, PhD. to our Advisory Board. Dr. Appel is the 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.
Dr. Appel 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).
The author of several scientific papers on voting machines and election technology, Dr. Appel served as an expert witness on two voting-related court cases in New Jersey, and has taught a course at Princeton on Election Machinery. He provided an introduction to the issues involved with Internet voting at the Overseas Vote Foundation’s 2010 Summit, which set the frame for the Internet voting debate that followed. Dr. Appel has been a steadfast supporter of our issues in New Jersey and beyond, and we’re delighted to have him join our Advisory Board.