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 are open positions (both for PhD and post-doc) to work on the DCore ANR French project on reversible debugging for concurrent systems following the actor paradigm (Java + Akka or 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. Deadline for applications is January 30th, 2019. If interested please contact me.