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

Registered user since Wed 7 Jan 2015

Name: Michael Clarkson

Bio: 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

Personal website: http://www.cs.cornell.edu/~clarkson/

Research interests: Security, Programming languages

ECOOP 2015 Activities

ECOOP 2015-profile
View general profile