The Verified Voting Board of Directors is responsible for strategic planning and oversight of the organization. Many directors are notable figures in computer science, business, the media, and civic affairs. Verified Voting is currently seeking additional board members who have expertise in fundraising and bring diverse perspective and backgrounds to the organization.
Barbara Simons, Ph.D., Board Chair
Barbara Simons is a former President of the Association for Computing Machinery (ACM), the nation’s largest educational and scientific computing society. She is the only woman to have received the Distinguished Engineering Alumni Award from the College of Engineering of U.C. Berkeley, where she earned her Ph.D. in computer science. A fellow of ACM and of the American Association for the Advancement of Science, she also received the Computing Research Association Distinguished Service Award and the Electronic Frontier Foundation Pioneer Award. An expert on electronic voting, she published Broken Ballots: Will Your Vote Count?, a book on voting machines co-authored with Douglas Jones. She has been on the Board of Advisors of the U.S. Election Assistance Commission since 2008, and she co-authored the report that led to the cancellation of Department of Defense’s Internet voting project (SERVE) in 2004 because of security concerns. She was a member of the National Workshop on Internet Voting, convened by President Clinton, that conducted one of the first studies of Internet Voting and produced a report in 2001. She co-authored the July 2015 report of the U.S. Vote Foundation entitled The Future of Voting: End-to-End Verifiable Internet Voting. She is retired from IBM Research.
David L. Dill, Ph.D.
David L. Dill, Ph.D. is the Donald E. Knuth Professor in the School of Engineering and Professor of Computer Science and, by courtesy, Electrical Engineering at Stanford University. He has been on the faculty at Stanford since 1987. He has an S.B. in Electrical Engineering and Computer Science from Massachusetts Institute of Technology (1979), and an M.S and Ph.D. from Carnegie-Mellon University (1982 and 1987). Prof. Dill has research interests in a variety of areas, including computational systems biology and the theory and application of formal verification techniques to system designs, including hardware, protocols, and software. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems. From July 1995 to September 1996, he was Chief Scientist at 0-In Design Automation, and, since 2016, he has been Chief Scientist at Locuspoint Networks, LLC.
Prof. Dill’s Ph.D. thesis, “Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits” was named as a Distinguished Dissertation by the Association for Computing Machinery (ACM), and published as such by M.I.T. Press in 1988. He was the recipient of an Presidential Young Investigator award from the National Science Foundation in 1988, and a Young Investigator award from the Office of Naval Research in 1991. He has received Best Paper awards at International Conference on Computer Design in 1991 and the Design Automation Conference in 1993 and 1998. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2001 for his contributions to verification of circuits and systems, and a Fellow of the ACM in 2005 for contributions to system verification and for leadership in the development of verifiable voting systems. In 2008, he received the first “Computer-Aided Verification” award, with Rajeev Alur, for fundamental contributions to the theory of real-time systems verification. In 2013, he was elected to the National Academy of Engineering and the American Academy of Arts and Sciences. In 2016, he received the Alonzo Church Award for Outstanding Contributions to Logic, from a group of four research societies in logic in computer science, (SIGLOG, EATCS, EACSL, KGS). He also received a “Test of time” award from the ACM Conference on Computer and Communications Security 2016.
Prof. Dill has been working actively on policy issues in voting technology since 2003. He is the author of the <ahref=”http: www.verifiedvotingfoundation.org=”” article.php?id=”5028″”>”Resolution on Electronic Voting”, which calls for a voter-verifiable audit trail on all voting equipment, and which has been endorsed by thousands of people, including many of the top computer scientists in the U.S. He has testified on electronic voting before the U.S. Senate and the Commission on Federal Election Reform, co-chaired by Jimmy Carter and James Baker III. He is the founder of the Verified Voting Foundation and VerifiedVoting.org and is on the board of those organizations. In 2004, he received the Electronic Frontier Foundation’s “Pioneer Award” for “for spearheading and nurturing the popular movement for integrity and transparency in modern elections.”
Joseph Lorenzo Hall, Ph.D.
Joseph Lorenzo Hall is the Chief Technologist and Director of the Internet Architecture project at the Center for Democracy & Technology, a Washington, DC-based non-profit advocacy organization dedicated to ensuring the internet remains open, innovative and free. Hall’s work focuses on the intersection of technology, law, and policy, working to ensure that technical considerations are appropriately embedded into legal and policy instruments. Supporting work across all of CDT’s programmatic areas, Hall provides substantive technical expertise to CDT’s programs, and interfaces externally with CDT supporters, stakeholders, academics, and technologists. Hall leads CDT’s Internet Architecture project, which focuses on embedding human rights values into core internet standards and infrastructure, engaging technologists in policy work, and producing accessible technical material for policymakers.
Prior to joining CDT in 2012, Hall was a postdoctoral research fellow with Helen Nissenbaum at New York University, Ed Felten at Princeton University and Deirdre Mulligan at University of California, Berkeley. Hall received his Ph.D. in information systems from the UC Berkeley School of Information in 2008. His Ph.D. thesis used electronic voting as a critical case study in digital government transparency. In his postdoctoral work, he developed techniques to increase the efficiency and usability of accountability mechanisms in electronic elections. Hall holds master’s degrees in astrophysics and information systems from UC Berkeley and was a founding member of the National Science Foundation’s ACCURATE Center (A Center for Correct, Usable, Reliable, Auditable and Transparent Elections). He has served as an expert on independent teams invited by the States of California, Ohio and Maryland to analyze legal, privacy, security, usability and economic aspects of voting systems. Hall is the Vice-Chairman of the Board of Directors of the California Voter Foundation, a member of the Board of Directors of the Verified Voting Foundation and a member of the Federal Communications Commission’s Computer Security, Reliability, and Interoperability Council (CSRIC) IV. In 2012, Hall received the John Gideon Memorial Award from the Election Verification Network for contributions to election verification.
David Jefferson, Ph. D., Board Vice-Chair
Dr. David Jefferson is a visiting computer scientist at Lawrence Livermore National Laboratory, where he works on supercomputing applications. But he has also been active in research at the intersection of the computing and public elections for well over a decade. In 1994, while at Digital Equipment Corporation, he oversaw development of the California Election Server, the first web server anywhere to provide online voter information on candidates and issues. It set what was then a world traffic record of 1 million hits in a 24 hour period. In 1995 he helped develop, in cooperation with the California Voter Foundation, the first online database of campaign finance information ever, for the San Francisco municipal election of that year. They repeated it at the state level in 1998 for the California general election. These efforts played a large role in convincing California, and eventually most other states, to pass laws requiring campaign finance disclosure information to be filed electronically, instead of on paper, and published on the Internet before the election.
In 1999 Dr. Jefferson served as chair of the technical committee of the Secretary of State Bill Jones’ task force on Internet voting, whose report was the first major study of the subject ever published. He subsequently served on the National Science Foundation-Internet Policy Institute panel on Internet voting, and testified to the National Commission on Federal Election Reform organized by presidents Carter and Ford. He has also consulted with numerous agencies and states on the subject of voting security, including the FEC and the Department of Defense. He is also coauthor of the SERVE Security Report, which detailed the security vulnerabilities in the Defense Department’s proposed Internet voting system in 2004 and led to the cancellation of the program.
In 2003 Dr. Jefferson served as a member of the California Secretary of State’s Task Force on Touchscreen Voting, whose recommendations led eventually to voter verified audit trails for electronic voting machines in California. Since then he has served as the chair of the Secretary of State’s Technical Advisory Board (TAB) under Secretary of State Kevin Shelley, and then as chair of its successor, the Voting Systems Technology Assessment and Advisory Board (VSTAAB) under Secretary of State Bruce McPherson. Under Secretary of State Debra Bowen he served as chair of the Post-election Audit Standards Working Group that worked in parallel with the Top to Bottom Review of California voting systems. He has been a member and past Chair of the board of directors of the California Voter Foundation for 12 years. From 1980 to 1994 Dr. Jefferson was a computer science professor, first at the University of Southern California and then at UCLA, where he conducted research in parallel computation and simulation. He is well known for the co-invention of the Time Warp method of parallel discrete event simulation and has also published research in operating systems, evolution, and artificial life.
Ron Rivest, Ph.D.
Ron Rivest, Ph.D. is the Institute Professor of Computer Science in MIT’s Dept. of Electrical Engineering and Computer Science. He is a member of MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL), a member of the lab’s Theory of Computation Group and is a leader of its Cryptography and Information Security Group. He is a founder of RSA Data Security and an inventor of the RSA public-key cryptosystem, and a co-founder of Verisign and of Peppercoin. Professor Rivest has research interests in cryptography, computer and network security, voting systems, and algorithms. He is a member of the National Academy of Engineering, the National Academy of Sciences, and is a Fellow of the Association for Computing Machinery, the International Association for Cryptographic Research, and the American Academy of Arts and Sciences. He is also on the EPIC Advisory Board.
Together with Adi Shamir and Len Adleman, Dr. Rivest was awarded the 2000 IEEE Koji Kobayashi Computers and Communications Award and the Secure Computing Lifetime Achievement Award. He also received, together with Shamir and Adleman, the 2002 ACM Turing Award and the 2009 NEC C&C Prize. He received an honorary degree from the University of Rome. He is a Fellow of the World Technology Network and a Finalist for the 2002 World Technology Award for Communications Technology. In 2005, he received the MITX Lifetime Achievement Award; in 2007, he received both the Computers, Freedom and Privacy Conference “Distinguished Innovator” award and the Marconi Prize. In 2008, he received an honorary doctorate from the Louvain School of Engineering at the Universite Catholique de Louvain (UCL). In 2010, he was awarded MIT’s Kilian Faculty Achievement Award. He has extensive experience in cryptographic design and cryptanalysis, and served as a Director of the International Association for Cryptologic Research, the organizing body for the Eurocrypt and Crypto conferences, and as a Director of the Financial Cryptography Association.
Kevin Shelley is a former California Secretary of State and State Assembly leader recognized as an advocate for working people, consumers and investors. Mr. Shelley’s political involvement began in 1978 as a staff member to U.S. Representatives Phil and Sala Burton. He then played a key role in electing their successor, current Speaker of the U.S. House of Representatives Nancy Pelosi, in 1987. His own political career began in 1990, when he won a seat on the San Francisco Board of Supervisors. Elected to the California State Assembly in 1996, he championed the rights of workers and fought to protect civil rights. Among his accomplishments, he improved conditions at nursing homes, drafted new corporate accountability requirements and created a restitution fund for victims of corporate fraud.
Mr. Shelley, who spent five of his six years in the State Assembly as Majority Leader, won election for Secretary of State in November 2002. As the state’s Chief Election Officer, he is credited with improving voter participation, calmly overseeing the historic recall election, and decertifying problematic electronic voting machines. He established the first in the nation standards for accessible voter-verified paper audit trails to be used with direct recording electronic (DRE) voting machines in California. Since 2005, Mr. Shelley has been representing consumers and plaintiffs in civil litigation. He began working with Berman DeValerio in 2006. He is the son of Jack Shelley, a former San Francisco mayor, U.S. congressman and California state senator.
Philip B. Stark, Ph.D.
Philip B. Stark is the Associate Dean, Division of Mathematical and Physical Science at the University of California, Berkeley. He served on California Secretary of State Bowen’s Post Election Audit Standards Working Group. He developed the notion of “risk-limiting audits.” He is working with the Secretaries of State of California and Colorado to develop and test standard procedures for risk-limiting audits. Dr. Stark has published more than 150 articles and books, served on the editorial board of several scientific journals, and lectured at universities and professional societies in more than twenty countries. He has consulted for the U.S. Department of Justice, the Federal Trade Commission, the U.S. Department of Agriculture, the U.S. Census Bureau, the U.S. Department of Housing and Urban Development, the U.S. Department of Veterans Affairs, the California Attorney General, the California Highway Patrol, and the Illinois State Attorney. He has testified to the U.S. House of Representatives Subcommittee on the Census; the State of California Senate Committee on Elections, Reapportionment and Constitutional Amendments; the State of California Assembly Committee on Elections and Redistricting; and the State of California Senate Committee on Natural Resources. In 2011, Dr. Stark received the University of California Chancellor’s Award for Public Service for Research in the Public Interest. He won the Leamer-Rosenthal prize for Transparency in Social Science in 2015. In 2016, Dr. Stark was appointed to the Board of Advisors of the US Election Assistance Commission.