Visiting JAIST

May 28, 2014

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.

Workshop in Genoa

February 3, 2014

In March I will be in Genoa for the “Correctness by Construction – CORCON 2014” meeting. In this workshop, part of the CORCON project, I am one of the organisers and I will give a keynote talk.

Problems with email

November 19, 2013

To everyone who needs to contact me by email. Due to a change in the system, my official address ( is temporarily out of work. Please, use the gmail address!

Point-free semantics

July 2, 2013

Following the Marie Curie Fellowship in Leeds which ended in March, I have finished to write the long and complex report about my findings in that sabbatical period. The report now is available at for those who are interested.

Any comment is welcome.

New blog

June 30, 2013

I decided to open a new blog: It does not contain any material about my academic work, nor about research. Instead it shows and discusses some of my photographs.
if you are interested, please, pay it a visit.

Seminario a Firenze

April 20, 2013

Yesterday, I gave a seminar in the Department of Philosophy in Florence.

If interested, here are the slides.


November 28, 2012

For those interested, I want to signal the workshop Foundation of Mathematics for Computer-Aided Formalization. I’ve just registered for participation.


Get every new post delivered to your Inbox.

Join 261 other followers