On February 21, 2014 I gave a 1-hour tutorial at the Sendai Logic School at the Tokyo Institute of Technology. The tutorial was entitled Reverse mathematics and Hilbert's program.
My abstract is available.
My slides are available in several formats: PDF, PS, DVI.
A list of my recent and upcoming talks is available.
My publication list is available.
t20@psu.edu / 27 February 2014