Talks

Tutorials and expository talks

1. Graduate seminar on Reverse mathematics of combinatorial problems.
   Università di Udine, July 2020. (Notes.)
2. Advanced Research Initiative Speaker.
   Marshall University, April 2017. (Talk 1 Slides.) (Talk 2 Slides.)

Research talks

1. Workshop on Ramsey Theory in Logic, Combinatorics, and Complexity.
   University of Pisa, Italy, June 2024.
2. ASL Annual North American Meeting, Special Session on Computability Theory.
   Iowa State University, May 2024.
3. AMS Spring Central Sectional Meeting, Special Session on Computability Theory.
   University of Wisconsin-Milwaukee, April 2024.
4. CUNY Logic Workshop.
   City University of New York Graduate Center, February 2024.
5. AMS Special Session on Computable Mathematics: A Special Session Dedicated to Martin D. Davis.
   San Francisco, January 2024.
6. Twentieth International Conference on Computability and Complexity in Analysis.
   Dubrovnik, Croatia, September 2023.
7. From omega to Omega.
   Institute for Mathematical Sciences, National University of Singapore, June 2023.
8. AMS Spring Southeastern Sectional Meeting, Special Session on Logic, Combinatorics, and their Interactions.
   Georgia Institute of Technology, March 2023.
9. Plenary Speaker, SouthEAstern Logic Symposium (SEALS).
   University of Florida, March 2023.
10. Workshop on Mathematical Indispensability in Philosophy.
    Munich Center for Mathematical Philosophy, February 2023.
11. Plenary Speaker, Computability in Europe (CiE) 2022, Swansea University, Swansea, UK, July 2022.
12. ASL Annual North American Meeting, Special Session on Computability Theory.
    Cornell University, April 2022.
13. Logic Seminar.
    Pennsylvania State University, April 2022.
14. Cross-Alps Logic Seminar.
    Logic Groups of the Universities of Genoa, Lausanne, Turin, and Udine, Italy and Switzerland, March 2022.
15. New directions in computability theory.
    Centre International de Rencontres Math ́ematiques (CIRM), Luminy, France, March 2022.
16. Leeds-Ghent Virtual Logic Seminar.
    University of Leeds, November 2021. (Slides.)
17. Institute of Mathematics Logic Seminar.
    Academy of Sciences of the Czech Republic, Prague, November 2021. (Slides.)
18. Seminar on Theory of Computing.
    Charles University, Prague, October 2021.
19. Výjezdní zasedání KITML MFF UK.
    Charles University, Prague, September 2021.
20. Models of Peano Arithemtic Seminar.
    City University of New York Graduate Center, March 2021.
21. Plenary Speaker, SouthEAstern Logic Symposium (SEALS).
    University of Florida, February 2021. (Slides.)
22. Iowa Colloquium on Information, Complexity, and Logic.
    Drake University/Grinnell College/Iowa State University, October 2020. (Slides.)
23. MSRI Workshop on Decidability, definability and computability in number theory.
    Mathematical Sciences Research Institute (MSRI), October 2020.
24. Online Logic Seminar.
    Southern Illinois University, August 2020.
25. Secret Computability Meeting.
    Institut Henri Poincaré, Paris, February 2020.
26. Canadian Mathematical Society Winter Meeting, Special Session on Computability Theory.
    Toronto, December 2019.
27. AMS Fall Central Sectional Meeting, Special Session on Computability Theory in Honor of Steffen Lempp's 60th Birthday.
    University of Wisconsin–Madison, September 2019.
28. 2019 Weak Arithmetic Days (JAF 38).
    City University of New York Graduate Center, May 2019. (Slides.)
29. Langenhop Lecture and SIU Mathematics Conference.
    Southern Illinois University, May 2019.
30. AMS Spring Central and Western Joint Sectional, Special Session on Computability, Complexity, and Learning.
    University of Hawai‘i at Manoa, March 2019. (Slides.)
31. Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis.
    Schloss Dagstuhl Research Center for Computer Science, Germany, September 2018.
32. Workshop on Ramsey Theory in Logic, Combinatorics, and Complexity.
    Bertinoro International Center for Informatics, July 2018. (Slides.)
33. Plenary Speaker, Workshop on Computability Theory and its Applications.
    University of Waterloo/Fields Institute, June 2018. (Slides.)
34. ASL Annual Meeting, Special Session on Computability Theory.
    Western Illinois University, May 2018. (Slides.)
35. Computability Theory Meeting.
    Mathematisches Forschungsinstitut Oberwolfach, January 2018.
36. 11th Panhellenic Logic Symposium, Special Session on Computability Theory.
    Delphi, Greece, July 2017.
37. Plenary Speaker, Seventeenth Latin American Symposium on Mathematical Logic.
    Benemérita Universidad Autónoma de Puebla, Puebla, Mexico, June 2017.
38. AMS Spring Eastern Sectional, Special Session on Computability Theory: Pushing the Boundaries.
    Hunter College, May 2017. (Slides.)
39. UConn Logic Group/Munich Center for Mathematical Philosophy Joint Conference.
    University of Connecticut, April 2017.
40. Meeting in Honor of Carl Jockusch's 75th Birthday.
    University of Chicago, October 2016. (Slides.)
41. Logic Seminar.
    University of California, Irvine, October 2016.
42. Logic Seminar.
    Cornell University, September 2016. (Slides.)
43. New Challenges in Reverse Mathematics.
    National University of Singapore, January 2016.
44. Logic Seminar.
    Cornell University, November 2015.
45. AMS Fall Central Sectional Meeting, Special Session on Computability Theory and Applications. (Slides.).
    Loyola University, October 2015.
46. Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis. (Slides.).
    Schloss Dagstuhl Research Center for Computer Science, Germany, September 2015.
47. ASL Annual European Meeting, Special Session on Computability Theory. (Slides.).
    University of Helsinki, August 2015.
48. AMS Spring Eastern Sectional Meeting, Special Session on Computable Structure Theory. (Slides.).
    Georgetown University, March 2015.
49. SouthEAstern Logic Symposium (SEALS). (Slides.).
    University of Florida, February 2015.
50. Canadian Mathematical Society Winter Meeting, Special Session on Computability Theory.
    Hamilton, December 2014.
51. New England Recursion and Definability Seminar (NERDS).
    Olin College, March 2014.
52. Logic Seminar.
    University of Notre Dame, March 2014.
53. Logic Seminar.
    Cornell University, February 2014.
54. Computability Theory and Foundations of Mathematics Conference.
    Tokyo Institute of Technology, February 2014.
55. CUNY Logic Workshop.
    City University of New York Graduate Center, February 2014.
56. Plenary Speaker, Association for Symbolic Logic Invited Address. (Slides.).
    Joint Mathematics Meetings, Baltimore, January 2014.
57. Logic Seminar.
    Pennsylvania State University, November 2013.
58. Logic Colloquium.
    University of California, Los Angeles, October 2013.
59. New England Recursion and Definability Seminar (NERDS).
    Dartmouth College, October 2013.
60. Southern Wisconsin Logic Colloquium.
    University of Wisconsin–Madison, May 2013.
61. Buenos Aires Semester in Computability, Complexity and Randomness.
    Universidad de Buenos Aires, April 2013.
62. Institute Colloquium. (Slides.).
    Institute for Logic, Language, and Computation, Universiteit van Amsterdam, February 2013.
63. Department Colloquium.
    University of Connecticut, February 2013.
64. Logic Seminar. (Slides.).
    The Ohio State University, April 2012.
65. Departmental Seminar.
    Grand Valley State University, March 2012.
66. ASL Annual Meeting, Special Session on Computability Theory.
    University of Wisconsin–Madison, April 2012.
67. Logic Seminar. (Slides.).
    Cornell University, February 2012.
68. Computability Theory Meeting. (Slides.).
    Mathematisches Forschungsinstitut Oberwolfach, February 2012.
69. Mid-Atlantic Mathematical Logic Seminar. (Slides.).
    Florida Atlantic University, February 2012.
70. Asian Logic Conference.
    Victoria University of Wellington, December 2011.
71. Logic Seminar. (Unable to deliver.).
    University of Connecticut, February 2011.
72. Logic Group Colloquium.
    University of Connecticut, February 2011.
73. Formal Philosophy Workshop. (Slides.).
    University of Chicago, January 2011.
74. AMS Fall Central Sectional Meeting, Special Session on Computability and its Applications. (Slides.).
    University of Notre Dame, November 2010.
75. Midwest Computability Workshop. (Slides.).
    University of Chicago, September 2010.
76. Workshop on Computability Theory.
    Universidade dos Açores, July 2010.
77. Combinatorics and Logic Seminar.
    University of Notre Dame, April 2010.
78. Eleventh Annual Graduate Student Conference in Logic.
    University of Wisconsin–Madison, April 2010.
79. SouthEAstern Logic Symposium (SEALS). (Slides.).
    University of Florida, February 2010.
80. Department Colloquium. (Slides.).
    University of Hawai‘i at Manoa, August 2009.
81. Tenth Annual Graduate Student Conference in Logic.
    University of Illinois at Urbana-Champaign, April 2009.
    
82. Logic Seminar.
    University of Notre Dame, October 2008.
83. Logic Colloquium 2008. (Slides.).
    Universität Bern, July 2008.
84. Ninth Annual Graduate Student Conference in Logic.
    University of Notre Dame, April 2008.
85. Chicago Joint Logic Seminar.
    University of Chicago and University of Illinois at Chicago, April 2008.
86. Logic Seminar.
    University of Illinois at Chicago, November 2007.