MSR Workshop on Voting Technology – Session 1

Date

March 19, 2010

Speaker

Sanjit A. Seshia, David Molnar, and Paul Miller

Affiliation

State of Washington , University of California - Berkeley, Microsoft Research

Overview

10:00 – 10:45 David Molnar, Microsoft Research

Some vulnerabilities in current systems

10:45 – 11:15 Paul Miller, Washington State Voting Systems Manager

Issues and research directions from the public sector

Speakers

Sanjit A. Seshia, David Molnar, and Paul Miller

Sanjit A. Seshia is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and a Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in computer security, electronic design automation, and program analysis. He has received a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.

University of California, Berkeley

People