Dr. Claudio Antares Mezzina received his PhD in Computer Science and Engineering, from both Universit&eacute; Joseph Fourier (France) and Universit&agrave; 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&agrave; 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 SysMA research unit at IMT as Assistant Professor in December 2014, he has been researcher within the SOA team at FBK in Trento working on adaptable business processes, goal models and smart cities.&nbsp;
His main research interests include formal methods, reversible computing, programming abstractions for fault-tolerant systems, distributed systems, adaptable systems, programming languages and compilers.