Talks

Invited talks

• (01/2023) Settling algebraic questions with logic
  World Logic Day 2023, Nazarbayev University, Astana 

• (11/2022) Effectivizing the theory of Borel equivalence relations
  Midwest Computability Seminar, University of Chicago 

• (09/2022) Learning mathematical structures
  Logic and Philosophy of Mathematics workshop, Scuola Normale Superiore, Pisa

• (09/2022) A computable analog of the theory of Borel equivalence relations
  AILA meeting 2022, University of Campania 

• (07/2022) Classifying equivalence relations on the natural numbers
  Latin American Symposium on Mathematical Logic 2022, University of Costa Rica 

• (06/2022) Computable reductions of equivalence relations
  Tutorial for Logic Colloquium 2022, Reykjavik University

• (03/2021)  Classifying word problems
  Computability Theory and Applications Online Seminar

• (12/2020) Revisiting the complexity of word problems
  Torino-Udine Logic seminar

• (06/2020) Learning algebraic structures
  Computability in Europe 2020, special session on “Algorithmic Learning Theory”, University of Salerno

• (06/2020) Word problems and ceers
  Reverse mathematics, numberings, and equivalence relations  workshop

• (02/2020) Beyond isomorphism: The interplay between structures and  computation
  Structuralist Foundations  workshop, University of Vienna

• (12/2019) The global structure of degrees of equivalence relations
  First Workshop on Digitalization and Computable Models, Novosibirsk State University

• (12/2019) The complexity of punctual equivalence relations
  Studies in Mathematical Logic workshop, University of São Paulo

• (06/2019)  Computable reducibility and its variants
  Computability, Complexity, and Randomness 2019, Nazarbayev University, Nur-Sultan