B.S., Pennsylvania State University, 1991

M.S., University of Wisconsin-Madison, 2000

Types Summer School, August 2007

Summer School on Logic and Theorem Proving in Programming Languages, July 2008

Doctoral student, University of Wisconsin-Madison