Via Malaguti, 1/D
I am mainly interested in formal models
and programming languages for distributed and mobile systems, such as
service oriented systems and IoT systems. I aim at providing
languages, analysis techniques and tools to support the programming of
correct concurrent and distributed applications. I am currently active
in reversible computing, and in
There will probably be an open position for a one year post-doc (assegno di ricerca) to work on the APIgator project in collaboration with the freelands company. The position will require familiarity with formal methods for protocol specification (e.g., behavioral types). Further information will be available soon. If interested please contact me.