ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Michael Clarkson

Registered user since Wed 7 Jan 2015

Name:Michael Clarkson

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.

Country:United States
Affiliation:Cornell University
Research interests:Security, Programming languages


Show activities from other conferences

ECOOP 2015-profile
View general profile