Research statements:
Here is a 4 page description of
my research written for
Mathematicians
in general.
Here is an 9 page description of
my research written for
logicians.
An even shorter description. (2 pages).
Seminars/Meetings I'm
currently (co-)organizing:
Midwest
computability
seminar.
Workshop
in Computability Theory
series.
Reverse Mathematics Workshop,
Chicago, September 16-18, 2011.
Oberwolfach Seminar in Proof
Theory, Germany, 2011.
Special session in Algebraic Structures at the Asian
Logic Colloquium , Wellington, New Zealand 2011.
Special session in Logic at the Congress of Latin American
Mathematicians, Cordona, Argentina,
August 2012.
Teaching:
No teaching this quarter.
Here is a brief description of my
Teaching
history.