Education
- I received my Master degree in Mathematics at the University of Parma with full marks (cum laude) on July 14th, 1997. The title of my thesis was Analisi e Definizione di Linguaggi di Set-Constraint. My advisors was prof. Gianfranco Rossi.
- I received my PhD in Computer Science at the Department of Computer Science of the University of Udine on March 15th 2002. The title of my PhD thesis was Computing in Non Standard Set Theories. My supervisor was prof. Alberto Policriti.
- From December 2001 until November 2003 I had a PostDoc position at the Department of Computer Science of the University Ca' Foscari of Venezia. My supervisor was prof. Agostino Cortesi.
- From December 2003 until June 2004 I had a European Grant on the project Models and Types for Security in Mobile Distributed Systems (MyThS) at the Department of Computer Science of the University Ca' Foscari of Venezia. My supervisor was prof. Michele Bugliesi.
- From July 2004 until December 2004 I had a PostDoc position at the Department of Computer Science of the University of Udine. My supervisor was prof. Alberto Policriti.
Academic Positions
- From January 2005 until October 2005 I was Assistant Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Udine.
- From November 2005 until November 2021 I was Associate Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Udine.
- Since December 2021 I am Full Professor of Computer Science at the Department of Mathematics, Computer Science and Physics of the Univeristy of Udine.
Visiting
- From January until July 2000 I was visiting the Institute for Logic, Language and Computation of the University of Amsterdam, The Netherlands.
- In April 2001 I was visiting the Departamento de Sistemas Informaticos y Computacion of the University Politecnica of Valencia, Spain.
- In January 2003 and July 2003 I was visiting the Courant Institute of the New York University, USA.
- From September 2004 until December 2004, in April 2007, in November 2007, I was visiting the Courant Institute of the New York University, USA.
