Dr. Claudio Antares Mezzina received his PhD in Computer Science and Engineering, from both Université Joseph Fourier (France) and Università di Bologna (Italy) in February 2012, under the supervision of Jean-Bernard Stefani and Davide Sangiorgi. During his PhD he focused on the interplay between concurrency and reversibility in the setting of Higher-Order Pi ( thesis). Before, he received a Laurea Degree cum laude from the Univerità di Bologna (October 2007). Since February 2008 he has been a member of the SARDES team at INRIA Rhone Alpes in Grenoble. Before joining the Department of Informatics at the Leicester University, as a Marie Curie Fellow, he was Assistant Professor at IMT School for Advanced Studies Lucca working within the SysMA group. From Jan 2012 till Dec 2014 he has been a junior researcher within the SOA team at FBK in Trento working on adaptable business processes, goal models and smart cities.

Research Interests

His main research interests include formal methods, reversible computing, programming abstractions for fault-tolerant systems, distributed systems, adaptable systems, programming languages and compilers.

[DBLP] [Scholar] [ORCID]


  1. Italian MC member of the COST action IC1405 on Reversible Computation
  2. WG-Leader of the Software and Systems working group of the COST action IC1405 on Reversible Computation
  3. Marie Curie Individual Fellowship project RCADE on Reversible Debugger

Recent Papers

Recent talks

Current Working Papers

Journal Articles