NEWS
-
April 25, 2022. I will give a talk on combinatorial foundations of constructive general topology at Topology Seminar, hosted by School of Mathematics, University of Minnesota.
-
April 14th, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at Ottawa-Carleton Logic Seminar, hosted by Logic and Foundations of Computing Group, University of Ottawa.
-
April 8th, 2022. I gave a talk on Curry-Howard isomorphisms without commuting conversions at Categories and Types Seminar, hosted by Mathematical Logic Group, University of Amsterdam.
-
June 16th, 2021. I gave a talk (slides) on dependent types and finite limits in games at the Hájek Seminar, hosted by Logic Group, Institute of Computer Science, Czech Academy of Sciences.
-
June 8th, 2021. New preprint on game semantics of Martin-Löf type theory is available.
-
June 3rd, 2021. I gave a talk (slides) on dependent types and finite limits in games at Logic and Computer Science Seminar, hosted by Research Institute for Mathematical Sciences, Kyoto University.
-
May 11th, 2021. I gave a talk (slides) on dependent types and finite limits in games at Categories and Types Seminar, hosted by Institute for Logic, Language and Computation, University of Amsterdam.
-
Feb. 11th, 2021. I gave a talk (slides; video) at the HoTTEST Seminar hosted by Department of Mathematics, University of Western Ontario.
-
Jan. 5th, 2021. A manuscript on sequent calculi for a unity of logic has been updated.
-
Sept. 21st, 2020. I gave an online talk (slides) on the consistency of Martin-Löf type theory with formal Church's thesis at Mathematical Logic Seminar hosted by Department of Mathematics, University of Padova.
-
July 7-10th, 2019. I had a research visit to Department of Mathematics, Stockholm University.
-
Nov. 7-10th, 2017. I had a research visit to Department of Mathematics, Stockholm University.