I am a PhD student in the Mathematically Structured Programming Group at the University of Strathclyde in the Computer and Information Sciences Department and I am under Clemens Kupke's direction.
Previously, I obtained a Master's Degree in Logic, Philosophy and History of Science at the University of Florence and a Bachelor's Degree in Philosophy at the Catholic University of Sacred Heart in Milan.
If you would like to know more, here is my CV.
Department of Computer and Information Sciences, University of Strathclyde,
Livingstone Tower, 16 Richmond Street,
Room LT1310,
G1 1XQ Glasgow, Scotland, United Kingdom.
+44 (0) 7449 246764
You can also find me in the following social media:
I like hiking and playing volleyball.
If I am free on a weekend, the first item on my to do list is traveling.
As Italian, I am passionate about food, especially the healthy kind.
I cannot say no to a good book and a hot coffee in a Cafe', as well as enjoying a chat with good company.