Registered user since Wed 7 Jan 2015

Name: Michael Clarkson

Affiliation: Cornell University

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

Research interests: Security, Programming languages

Contributions

PLAS 2015 Co-chair in Program Committee within the PLAS-track
Session Chair of Welcome (part of PLAS)