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