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 is an open position for PhD to work on the DCore ANR French project on reversible debugging for Erlang systems. 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. If interested please contact me.