Talks

  1. Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
    Schloss Dagstuhl Research Center for Computer Science, Germany, September 2018.
  2. Workshop on Ramsey Theory in Logic, Combinatorics, and Complexity.
    Bertinoro International Center for Informatics, July 2018. (Slides.)
  3. Workshop on Computability Theory and its Applications.
    University of Waterloo/Fields Institute, June 2018. (Slides.)
  4. ASL Annual Meeting, Special Session on Computability Theory.
    Western Illinois University, May 2018. (Slides.)
  5. Computability Theory Meeting.
    Mathematisches Forschungsinstitut Oberwolfach, January 2018.
  6. 11th Panhellenic Logic Symposium, Special Session on Computability Theory.
    Delphi, Greece, July 2017.
  7. Plenary Speaker, Seventeenth Latin American Symposium on Mathematical Logic.
    Benemérita Universidad Autónoma de Puebla, Puebla, Mexico, June 2017.
  8. AMS Spring Sectional, Special Session on Computability Theory: Pushing the Boundaries.
    Hunter College, May 2017. (Slides.)
  9. Advanced Research Initiative Speaker.
    Marshall University, April 2017. (Talk 1 Slides.) (Talk 2 Slides.)
  10. UConn Logic Group/Munich Center for Mathematical Philosophy Joint Conference
    University of Connecticut, April 2017.
  11. Meeting in Honor of Carl Jockusch's 75th Birthday.
    University of Chicago, October 2016. (Slides.)
  12. Logic Seminar.
    University of California, Irvine, October 2016.
  13. Logic Seminar.
    Cornell University, September 2016. (Slides.)
  14. New Challenges in Reverse Mathematics.
    National University of Singapore, January 2016.
  15. Logic Seminar.
    Cornell University, November 2015.
  16. AMS Fall Central Sectional Meeting, Special Session on Computability Theory and Applications. (Slides.)
    Loyola University, October 2015.
  17. Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis. (Slides.)
    Schloss Dagstuhl Research Center for Computer Science, Germany, September 2015.
  18. ASL Annual European Meeting, Special Session on Computability Theory. (Slides.)
    University of Helsinki, August 2015.
  19. AMS Spring Eastern Sectional Meeting, Special Session on Computable Structure Theory. (Slides.)
    Georgetown University, March 2015.
  20. SouthEAstern Logic Symposium. (Slides.)
    University of Florida, February 2015.
  21. Canadian Mathematical Society Winter Meeting, Special Session on Computability Theory
    Hamilton, December 2014.
  22. New England Recursion and Definability Seminar.
    Olin College, March 2014.
  23. Logic Seminar.
    University of Notre Dame, March 2014.
  24. Logic Seminar.
    Cornell University, February 2014.
  25. Computability Theory and Foundations of Mathematics Conference
    Tokyo Institute of Technology, February 2014.
  26. CUNY Logic Workshop
    City University of New York, February 2014.
  27. ASL Plenary Address. (Slides.)
    Joint Mathematics Meetings, Baltimore, January 2014.
  28. Logic Seminar.
    Pennsylvania State University, November 2013.
  29. Logic Colloquium.
    University of California, Los Angeles, October 2013.
  30. New England Recursion and Definability Seminar.
    Dartmouth College, October 2013.
  31. Southern Wisconsin Logic Colloquium.
    University of Wisconsin–Madison, May 2013.
  32. Buenos Aires Semester in Computability, Complexity and Randomness.
    Universidad de Buenos Aires, April 2013.
  33. Institute Colloquium. (Slides.)
    Institute for Logic, Language, and Computation, Universiteit van Amsterdam, February 2013.
  34. Department Colloquium.
    University of Connecticut, February 2013.
  35. Logic Seminar. (Slides.)
    The Ohio State University, April 2012.
  36. Departmental Seminar.
    Grand Valley State University, March 2012.
  37. ASL Annual Meeting, Special Session on Computability Theory.
    University of Wisconsin–Madison, April 2012.
  38. Logic Seminar. (Slides.)
    Cornell University, February 2012.
  39. Computability Theory Meeting. (Slides.)
    Mathematisches Forschungsinstitut Oberwolfach, February 2012.
  40. Mid-Atlantic Mathematical Logic Seminar. (Slides.)
    Florida Atlantic University, February 2012.
  41. Asian Logic Conference.
    Victoria University of Wellington, December 2011.
  42. Logic Seminar. (Unable to deliver.)
    University of Connecticut, February 2011.
  43. Logic Group Colloquium.
    University of Connecticut, February 2011.
  44. Formal Philosophy Workshop. (Slides.)
    University of Chicago, January 2011.
  45. AMS Fall Central Sectional Meeting, Special Session on Computability and its Applications. (Slides.)
    University of Notre Dame, November 2010.
  46. Midwest Computability Workshop. (Slides.)
    University of Chicago, September 2010.
  47. Workshop on Computability Theory.
    Universidade dos Açores, July 2010.
  48. Combinatorics and Logic Seminar.
    University of Notre Dame, April 2010.
  49. Eleventh Annual Graduate Student Conference in Logic.
    University of Wisconsin–Madison, April 2010.
  50. SouthEAstern Logic Symposium. (Slides.)
    University of Florida, February 2010.
  51. Department Colloquium. (Slides.)
    University of Hawai‘i at Manoa , August 2009.
  52. Tenth Annual Graduate Student Conference in Logic.
    University of Illinois at Urbana–Champaign, April 2009.
  53. Logic Seminar.
    University of Notre Dame, October 2008.
  54. Logic Colloquium 2008. (Slides.)
    Universität Bern, July 2008.
  55. Ninth Annual Graduate Student Conference in Logic.
    University of Notre Dame, April 2008.
  56. Chicago Joint Logic Seminar.
    University of Chicago and University of Illinois at Chicago, April 2008.
  57. Logic Seminar.
    University of Illinois at Chicago, November 2007.