Registered user since Wed 7 Jan 2015
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.
|PLAS 2015|| Co-chair in Program Committee within the PLAS-track|
Session Chair of Welcome (part of PLAS)
|Show activities from other conferences|
View general profile