RSVP requested: click here
The second in a series of workshops exploring how technological developments may unsettle foundations of American democracy. Each session features a scholar who will explain the challenge and lead a discussion of exploring the dimensions of the problem and possible solutions.
How did Americans vote in the 19th century, in the 20th century, and in the 21st century? Andrew Appel will describe public elections as a problem in protocol design, illustrating the evolution of voting technology as a search for solutions to this problem, and explain the implications for the security of 21st-century voting machines and what it means for the prospect of Internet voting.
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).