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 be open position (both for PhD and post-doc) to work on the DCore ANR French project on reversible debugging of actor systems (probably Java + Akka, maybe Erlang). The project is funded by France, thanks to a collaboration agreement between University of Bologna and French INRIA. Hence, salary will be at French level. The PhD position will be joint with INRIA Grenoble. Further information will be available soon. If interested please contact me.
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.