Michael Clarkson is a lecturer in the Department of Computer Science at Cornell University in Ithaca, 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 recipient of an Air Force Young Investigators Award (YIP). Clarkson is the lead creator of the Civitas voting system. He served as a member of a security review team commissioned by the Florida Division of Elections for an Internet voting pilot project.