Via Malaguti, 1/D
I am mainly interested in formal models for distributed and mobile
systems, such as service oriented systems and IoT systems. I have
concentrated on developping process calculi for modelling different
kinds of systems, studying their semantic properties, their expressive
power and developping analysis techniques on top of them. Recently I
studied in particular reversible computation and choreographic programming.