Welcome

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:

New paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”

The paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”, by Marco Bernardo and myself, has been published on Theoretical Computer Science (online, for the time being).