He received a Ph.D. in Computer Science from Cornell University in 2010. Clarkson's research interests include computer security and programming languages. His work focuses on using principled techniques to define security and to construct secure systems. He is the lead creator of the Civitas internet voting system. Education: Ph.D., 2010, Computer Science, Cornell University M.S., 2004, Computer Science, Cornell University B.S., 1999, Systems Analysis, Miami University B.M., 1999, Music Performance, Miami University Interests: Security: Electronic voting, security policies, information flow, and cryptography.