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 “A GSOS for Attribute-based Communication”

The short paper A GSOS for Attribute-based Communication by Matteo Paier and myself, has been accepted to EXPRESS/SOS, the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics.

Abstract: We propose a new GSOS semantics fo AbC, a calculus for attribute-based communication. This semantics is simpler than the previous ones, but as much as expressive; in fact, we will show that there is a precise equivalence. The new semantics will be useful for simplifying bisimulation proofs, and it is preparatory to the definition of a bialgebraic semantics for AbC.