Visiting JAIST

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.