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 CurryHoward isomorphisms without commuting conversions at OttawaCarleton Logic Seminar, hosted by Logic and Foundations of Computing Group, University of Ottawa.

April 8th, 2022. I gave a talk on CurryHoward 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 MartinLö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 MartinLöf type theory with formal Church's thesis at Mathematical Logic Seminar hosted by Department of Mathematics, University of Padova.

July 710th, 2019. I had a research visit to Department of Mathematics, Stockholm University.

Nov. 710th, 2017. I had a research visit to Department of Mathematics, Stockholm University.