Institute for Software Research International
Michael I. Shamos, Professor, School of Computer Science, Carnegie Mellon University
Carnegie Mellon established ISRI as a center of excellence for long-term interdisciplinary fundamental research, apprenticeship-based education and training, and international collaborations to address the challenge of designing, developing, integrating, validating, and maintaining practical, large-scale, high-quality software-intensive systems. Michael Shamos has been a faculty member in the School of Computer Science at Carnegie Mellon since 1975. Since 1980, he also has been an examiner of electronic voting systems for various States, and has personally performed 118 voting system examinations. The following is from September 28, 2006, testimony before the House Administration Committee during hearings on Electronic Voting Machines: Verification, Security, and Paper…
