NEWS
May 17, 2024. I will give a talk on fully abstract game semantics for algebraic effects with recursion at the Algebra, Logic and Computation Seminar, hosted by the Centre of Mathematics, the University of Minho.
Feb 29, 2024. A preprint on algebra and computation for classical logic was submitted.
Sep 05, 2023. I gave a talk on topology and topoi via internal groupoids at the Algebra, Logic, Topology Seminar, hosted by the Centre of Mathematics, the University of Coimbra.
Sep 05, 2023. I gave a talk on linearity and dependency at the Computing Foundations Seminar, hosted by the School of Computing, Australian National University.
Apr 25, 2022. I gave a talk on combinatorial foundations of constructive general topology at the Topology Seminar, hosted by the School of Mathematics, the University of Minnesota.
Apr 14, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at the Ottawa-Carleton Logic Seminar, hosted by the Logic and Foundations of Computing Group, the University of Ottawa.
Apr 8, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at Categories and Types Seminar, hosted by the Mathematical Logic Group, the University of Amsterdam.
Jun 16, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Hájek Seminar, hosted by the Logic Group, the Institute of Computer Science, Czech Academy of Sciences.
Jun 3, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Logic and Computer Science Seminar, hosted by the Research Institute for Mathematical Sciences, Kyoto University.
May 11, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Categories and Types Seminar, hosted by the Institute for Logic, Language and Computation, University of Amsterdam.
Feb. 11, 2021. I gave a talk (slides; video) at the HoTTEST Seminar hosted by the Department of Mathematics, University of Western Ontario.
Sep 21, 2020. I gave an online talk (slides) on the consistency of Martin-Löf type theory with formal Church's thesis at the Mathematical Logic Seminar hosted by Department of Mathematics, University of Padova.
Aug 12-17, 2019. I participated in HoTT 2019.
Jul 7-10, 2019. I had a research visit to the Department of Mathematics, Stockholm University.
Nov 7-10, 2017. I had a research visit to the Department of Mathematics, Stockholm University.