VerifiedVoting.org champions reliable and publicly verifiable elections in the United States. The purpose of the website is threefold:
- To inform the public of the problems with relying on electronic voting machines to record and count our votes, without the backup of a voter-verifiable audit trail.
- To point to reasonable solutions that are within reach.
- To provide a list of actions voters can take, and to encourage them to act on their own behalf to ensure that all their votes count accurately in future elections.
The core VerifiedVoting.org team consists of the following people:
Team Biographies
David L. Dill founded the organization and set the tone, which is objective, well-researched, and non-partisan. He provides academic expertise on the subject of voting machines and computer science and is primary public spokesman for the group.
He is a 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).
His primary research interests relate to 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. He was the Chair of the Computer-Aided Verification Conference held at Stanford University in 1994. From July 1995 to September 1996, he was the Chief Scientist at 0-In Design Automation.
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 IEEE in 2001 for his contributions to verification of circuits and systems.
Since becoming involved in the electronic voting controversy, Prof. Dill has served on the California Secretary of State’s Ad Hoc Task Force on Touch-Screen Voting and currently serves on the IEEE P1583 Committee and Santa Clara County’s Citizen’s DRE Oversight Board. In December of 2003, Prof. Dill was one of a select group of presenters at the Symposium on Building Trust and Confidence in Voting Systems sponsored by the National Institute of Standards and Technology (NIST).
Robert Kibrick, Legislative Analyst, researches current events, official meeting transcripts, and election regulations and procedures and prepares rebuttals to propound the positions of VerifiedVoting.org and the Verified Voting Foundation. He is also working to build relationships with other organizations, including university groups and organizations promoting electoral reform and integrity. He is helping others to organize public forums on electronic voting and will help with efforts to establish local chapters of VerifiedVoting.org and the Verified Voting Foundation.
Kibrick is a research astronomer at the University of California Observatories / Lick Observatory, where he has worked since 1976. For the last 6 years, he has served as its Director of Scientific Computing and is currently responsible for overseeing the development of computer software and hardware for scientific instrumentation and control systems employed in the Observatory’s astronomy research programs.
From March 1998 through 2003, he served on a national advisory council of the University Corporation for Advanced Internet Development (UCAID). Kibrick has a B.A. in Information and Computer Science from the University of California and is the principal inventor for three U.S. patents involving optical position encoding systems and bar code technology. He has also served on a voting systems review panel for the City of Santa Cruz, California.
Pamela Smith is President of VerifiedVoting.org and the Verified Voting Foundation. Her interest in voting issues includes experience as an election
observer, locally and internationally. She provides information and
public testimony on verified voting issues on state and local levels
(including Maryland's legislature, California Secretary of State's
Voting Systems & Procedures panel, San Diego County Board of
Supervisors, e.g.). She has co-authored written testimony on several
state voting system Requests for Proposals (RFPs) and legislative
recommendations, as well as reports on accessibility and auditability
issues for voting systems and other research. She organized
VerifiedVoting.org's Petition Delivery Days in April 2004, served as a
founding board member of San Diego County advocacy group SAVE-Democracy
(SAVE= Safe, Accurate, Verified Elections). She has been a small
business and marketing consultant and nonprofit executive, and has
worked in both public and private sector. Originally from Chicago, IL,
Smith is now a resident of Carlsbad, CA.
Warren Stewart is Legislative Policy Director for VerifiedVoting.org and the Verified Voting Foundation. He previously served as Policy Director for VoteTrustUSA, where he wrote extensively on a wide range of election issues and edited the Election Integrity News. He has testified before the Senate Rules Committee, the Committee on House Administration and the Election Assistance Commission. Stewart's writing has been published in the Harvard Law and Policy Review, the Washington Spectator, and elsewhere. His research and analysis of the data from the New Mexico general election in 2004 was instrumental in promoting positive legislative change in that state. He has also served as a pollworker in several elections. In addition to his work on election reform, Stewart is the Artistic Director of the San Francisco Baya Area early music ensemble Magnificat.
Sean Flaherty works as a researcher and writes articles on electronic voting issues for the Verified Voting Foundation and VerifiedVoting.org. Since 2006 he has co-chaired Iowans for Voting Integrity, a grassroots citizen organization that lobbied successfully for adoption of a statewide paper ballot/optical scan voting system. He is currently serving on an Iowa Task Force studying election audits, at the request of the Secretary of State.
John McCarthy has been a "full time volunteer" with Verified Voting since 2004, when he served as Project Manager for volunteer development of the Election Incident Reporting System (EIRS) until other groups assumed responsibility for it early in 2006.
Since then John has led Verified Voting's Computer and Information Resources efforts, including the public Verifier database with detailed information about election equipment in each local election jurisdiction of the United States. Late in 2006 John initiated an Election Auditing Project in cooperation with statisticians interested in elections from the American Statistical Association. John maintains Verified Voting's election auditing list-serve and chairs weekly conference calls for its members. He was lead author of a paper on percentage-based versus statistical power-based vote tabulation auditing, a version of which was published in the February, 2008 edition of the ASA's “American Statistician.” He is particularly interested in standards (such as EML) for interchange of election data.
In 2008 John led efforts to develop and deploy a questionnaire for local election workers, in cooperation with UC Berkeley's Election Administration Research Center. To date, over 1,800 election workers from all but two states have responded to the survey, and Verified Voting hopes to build on results of the survey to develop closer relationships with local election offices throughout the United States.
John has a Ph.D. in History from Yale University, where he taught American Political and Social History and Quantitative Methods for Historical Research for six years from 1968 to 1974. He directed data analysis and educational activities at UC Berkeley's Survey Research Center from 1974 until 1980, when he moved to Lawrence Berkeley National Laboratory to help develop the first on-line database of U.S. Census data. As a computer scientist at LBNL, John subsequently helped develop several other major database information systems. Although he retired from LBNL in 2003, John continues to consult there part-time for the XMDR Project developing international standards for metadata registries. | 
