NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

  • Nov. 7-10th, 2017. Research visit to Department of Mathematics, Stockholm University.

  • July 7-10th, 2019. Research visit to Department of Mathematics, Stockholm University.

  • July 28th, 2020. Solved one of the long-standing open problems in constructive mathematics in the affirmative: the consistency of intensional Martin-Löf type theory with formal Church's thesis. A preprint is available. 

  • Facebook Clean Grey
  • Twitter Clean Grey
  • LinkedIn Clean Grey