Now it is official: from November 1st, 2014, I will be a mathematical logician in the Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, part of the mathematical group.

As it is clear from my experience, I have always worked in the borderline between mathematics and computer science, specifically between logic and computability. Of course, in my not so short career, I did many things, but the centre of my research was there.

Today, I am more on the mathematical side. And, since I am, officially, a computer scientist working in a computer science department, there is a problem. Moreover, my current department focuses on technology and applications: a wise decision, considering that it operates in a region where many small industries are present, and there is a relevant demand for high-trained technicians. But that’s not something I can really contribute to.

So, I moved both my official sector and my academic affiliation. The result will be effective in a couple of weeks. Then, I will change the relevant data in the website.