Pietro Lami

I am a Ph.D. student at Inria, my research topic focuses on the theory of concurrent reversible programming languages and its application to the debugging of concurrent programs. Two main studies are proposed:

1. the automated derivation of a reversible semantics for concurrent languages;
2. the study of transaction programming abstractions through the lens of reversibiility.

The supervisors of my Ph.D. are Ivan Lanese and Jean-Bernard Stefani.