NEWS
Oct 01, 2024. I became a member of the Centre for Mathematics of the University of Coimbra.
​
May 17, 2024. I gave 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.