Michael Clarkson
Lecturer, Department of Computer Science, Cornell University
Ph.D. in Computer Science, Cornell University
Security, Programming languages
Home Page: http://www.cs.cornell.edu/~clarkson/