Welcome to my home page

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:

Seminari-Esame per Teoria della Concorrenza

Venerdì 15 luglio, dalle 9:00 alle 13:00 circa, in Sala Riunioni del DIMA (ex DIMI, futuro DMIF), si terranno i seguenti seminari-esame per il corso di Teoria della Concorrenza:

Alessio Mansutti: Decidibilità della hedged bisimulation per lo spi calculus
Alexandru Pruteanu: Modelli per sistemi transazionali
Federico Igne: Modelli per la programmazione ad attori
Luca Geatti: Modelli per la Systems Biology
Davide Martincigh: Semantiche quantitative per calcoli con aspetti probabilistici e stocastici

Tutti gli interessati sono invitati a partecipare.