I am an associate professor in Computer Science at the Department of Mathematics, Computer Science and Physics of the University of Udine. I am a founding member and head of the Models and Applications of Distributed Systems laboratory.

See Research for research interests, academic positions, services in conferences, publications.
See Teaching for informations about courses, exams, etc (Mainly in Italian).
See News & Events for news about my research and courses.

Latest news:

2018 EUTypes Summer School on Types for Programming and Verification

The EUTypes Summer School is a well-established school aiming to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of type theory and applications.
The call for grants is open until June 20, so if you are interested, apply now!