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 call for a post-doc on the topic "A causal-consistent reversible debugger for Erlang".
The position is paid by French INRIA via the joint FOCUS team, and subject to a national selection.
If interested please have a look to the details.