Currently, I’m in the Japanese Advanced Institute of Science and Technology, kindly hosted by Prof. H. Ishihara and Dr. T. Nemoto, as part of the CORCON research project.

In this period, I am going to work on formalising equality in a deep sense inside logically distributive categories, and to relate them with computation through type theory.

During this period, I will give a couple of seminars to the logic group in JAIST: one about logical distributive categories as a point-free foundation of mathematics, and one about the computation modulo a function. Both seminars are strictly related to the research I’m conducting here.