Talks

- 2019 Weak Arithmetic Days (JAF 38), City University of New York, May 2019.
- Langenhop Lecture and SIU Mathematics Conference, Southern Illinois University, May 2019.
- AMS Spring Central and Western Joint Sectional, Special Session on Computability, Complexity, and Learning.

University of Hawai‘i at Manoa, March 2019. (Slides.) - Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis

Schloss Dagstuhl Research Center for Computer Science, Germany, September 2018. - Workshop on Ramsey Theory in Logic, Combinatorics, and Complexity.

Bertinoro International Center for Informatics, July 2018. (Slides.) - Workshop on Computability Theory and its Applications.

University of Waterloo/Fields Institute, June 2018. (Slides.) - ASL Annual Meeting, Special Session on Computability Theory.

Western Illinois University, May 2018. (Slides.) - Computability Theory Meeting.

Mathematisches Forschungsinstitut Oberwolfach, January 2018. - 11th Panhellenic Logic Symposium, Special Session on Computability Theory.

Delphi, Greece, July 2017. - Plenary Speaker, Seventeenth Latin American Symposium on Mathematical Logic.

BenemÃ©rita Universidad AutÃ³noma de Puebla, Puebla, Mexico, June 2017. - AMS Spring Eastern Sectional, Special Session on Computability Theory: Pushing the Boundaries.

Hunter College, May 2017. (Slides.) - Advanced Research Initiative Speaker.

Marshall University, April 2017. (Talk 1 Slides.) (Talk 2 Slides.) - UConn Logic Group/Munich Center for Mathematical Philosophy Joint Conference

University of Connecticut, April 2017. - Meeting in Honor of Carl Jockusch's 75th Birthday.

University of Chicago, October 2016. (Slides.) - Logic Seminar.

University of California, Irvine, October 2016. - Logic Seminar.

Cornell University, September 2016. (Slides.) - New Challenges in Reverse Mathematics.

National University of Singapore, January 2016. - Logic Seminar.

Cornell University, November 2015. - AMS Fall Central Sectional Meeting, Special Session on Computability Theory and Applications. (Slides.)

Loyola University, October 2015. - Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis. (Slides.)

Schloss Dagstuhl Research Center for Computer Science, Germany, September 2015. - ASL Annual European Meeting, Special Session on Computability Theory. (Slides.)

University of Helsinki, August 2015. - AMS Spring Eastern Sectional Meeting, Special Session on Computable Structure Theory. (Slides.)

Georgetown University, March 2015. - SouthEAstern Logic Symposium. (Slides.)

University of Florida, February 2015. - Canadian Mathematical Society Winter Meeting, Special Session on Computability Theory

Hamilton, December 2014. - New England Recursion and Definability Seminar.

Olin College, March 2014. - Logic Seminar.

University of Notre Dame, March 2014. - Logic Seminar.

Cornell University, February 2014. - Computability Theory and Foundations of Mathematics Conference

Tokyo Institute of Technology, February 2014. - CUNY Logic Workshop

City University of New York, February 2014. - ASL Plenary Address. (Slides.)

Joint Mathematics Meetings, Baltimore, January 2014. - Logic Seminar.

Pennsylvania State University, November 2013. - Logic Colloquium.

University of California, Los Angeles, October 2013. - New England Recursion and Definability Seminar.

Dartmouth College, October 2013. - Southern Wisconsin Logic Colloquium.

University of Wisconsin–Madison, May 2013. - Buenos Aires Semester in Computability, Complexity and Randomness.

Universidad de Buenos Aires, April 2013. - Institute Colloquium. (Slides.)

Institute for Logic, Language, and Computation, Universiteit van Amsterdam, February 2013. - Department Colloquium.

University of Connecticut, February 2013. - Logic Seminar. (Slides.)

The Ohio State University, April 2012. - Departmental Seminar.

Grand Valley State University, March 2012. - ASL Annual Meeting, Special Session on Computability Theory.

University of Wisconsin–Madison, April 2012. - Logic Seminar. (Slides.)

Cornell University, February 2012. - Computability Theory Meeting. (Slides.)

Mathematisches Forschungsinstitut Oberwolfach, February 2012. - Mid-Atlantic Mathematical Logic Seminar. (Slides.)

Florida Atlantic University, February 2012. - Asian Logic Conference.

Victoria University of Wellington, December 2011. - Logic Seminar. (Unable to deliver.)

University of Connecticut, February 2011. - Logic Group Colloquium.

University of Connecticut, February 2011. - Formal Philosophy Workshop. (Slides.)

University of Chicago, January 2011. - AMS Fall Central Sectional Meeting, Special Session on Computability and its Applications. (Slides.)

University of Notre Dame, November 2010. - Midwest Computability Workshop. (Slides.)

University of Chicago, September 2010. - Workshop on Computability Theory.

Universidade dos Açores, July 2010. - Combinatorics and Logic Seminar.

University of Notre Dame, April 2010. - Eleventh Annual Graduate Student Conference in Logic.

University of Wisconsin–Madison, April 2010. - SouthEAstern Logic Symposium. (Slides.)

University of Florida, February 2010. - Department Colloquium. (Slides.)

University of Hawai‘i at Manoa, August 2009. - Tenth Annual Graduate Student Conference in Logic.

University of Illinois at Urbana-Champaign, April 2009.

- Logic Seminar.

University of Notre Dame, October 2008. - Logic Colloquium 2008. (Slides.)

Universität Bern, July 2008. - Ninth Annual Graduate Student Conference in Logic.

University of Notre Dame, April 2008. - Chicago Joint Logic Seminar.

University of Chicago and University of Illinois at Chicago, April 2008. - Logic Seminar.

University of Illinois at Chicago, November 2007.