Ph.D., University of Wisconsin-Madison, 2010

Teach Scheme Workshop, 2010

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

Types Summer School, August 2007

B.S., Pennsylvania State University, 1991

Classes