## 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.