Presentation
Dr. Claudio Antares Mezzina is an Associate Professor at the University of Urbino within the Department of Pure and Applied Sciences (DISPEA).
He 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 (PhD thesis). Before, he received a Laurea Degree cum laude from the University of Bologna (October 2007).
Hiring
2 Years Post-Doc on (Kleene) logics, concurrency and reversible debugging. If you are interested, mail me (claudio dot mezzina [at] uniurb dot it)
Past
Since February 2008 he has been a member of the SARDES team at INRIA Rhone Alpes in Grenoble. From Jan 2012 till Dec 2014 he has been a junior researcher within the SOA team at FBK (Bruno Kessler Foundation) in Trento working on adaptable business processes, goal models and smart cities. From Jan 2015 till Aug 2018 he has been an Assistant Professor at IMT School for Advanced Studies Lucca working within the SysMA group. Before joining the University of Urbino, he has been a Marie Curie Fellow at the Department of Informatics at the Leicester University.
Research Interests
My main research interests include formal methods for concurrent and distributed systems. Also, my aim is to provide primitives for automatic fault-handling and reliable systems. Lately I got interested in quantitative, such as time and stochastic, aspects of reversible systems and their application to persissioned block-chains.
Projects
co-PI of the Italian Mur Prin Project DeKLA: Developing Kleene Logics and their Applications
Work Package Leader of the Italian Mur Prin Project NiRvAna: Noninterference and Reversible Analysis in Private Blockchains
Vice Coordinator of RCR: Reversible Computing Research Group
National Coordinator of the INdAM - GNCS project: Proprietà qualitative e quantitative dei Sistemi Reversibili
External member of the French ANR DCORE Project on Causal Debugging for Concurrent Systems
Past Activities
Italian MC member of the COST action IC1405 on Reversible Computation
WG-Leader of the Software and Systems working group of the COST Action IC1405 on Reversible Computation
Marie Curie Individual Fellowship project RCADE on Reversible Debugger
PhD Students
Vitaly Burvalev (PhD, Improving the efficiency of tuple spaces)
Doriana Medić (PhD, Relative expressiveness of calculi for reversible concurrency)
Current Working Papers
A Truly Concurrent Semantics for Reversible CCS - arXiv [pdf]
A Reversible Perspective on Petri Nets and Event Structures - arXiv [pdf]
Relating Reversible Petri Nets and Reversible Event Structures, categorically - arXiv [pdf]
Checkpoint-based rollback recovery in session programming - arXiv [pdf]
Upcoming Events
PC Member of RC2024
Past Events
Chair of RC 2023, EXPRESS/SOS 2022, EXPRESS/SOS2023
PC Member of RC2023, FORTE2023, DAIS2023, FORTE 2022, DAIS 2022, ICTCS 2022, ICTCS 2021, RC 2021, DAIS 2021, ICE 2020, RC 2020, Coordination 2020, Dais 2020, Dais 2019, Coordination 2019, ICE 2019, Erlang 2019, Reversible Computing (RC) 2018, Express/SOS 2018, ICE 2018
Organizer and Lecturer of the Training School in Reversible Computation (28-31 August 2017, Torun, Poland )
Recent Papers
Model Checking Reversible Systems: Forwardly RC 2024
Special issue of selected papers from RC2022 [Gust-Editor] (jlamp)
Proceedings of EXPRESS/SOS 2023
Rollback Recovery in Session-based Programming COORDINATION 2023 (best COORDINATION paper award, best DiScoTec paper award)
Relating Reversible Petri Nets and Reversible Event Structures, categorically FORTE 2023 (best FORTE paper award)
Causal Reversibility for Timed Process Calculi with Durationless Lazy/Eager Actions and Time Additivity FORMATS 2023
Causal Reversibility Implies Time Reversibility QEST 2023
Towards a Taxonomy for Reversible Computation Approaches RC 2023
Proceedings of RC2022 @ Urbino
Proceedings of EXPRESS/SOS 2022
The Reversible Temporal Process Language FORTE 2022
A distributed operational view of Reversible Prime Event Structures LICS 2021 [pdf]
Towards a truly concurrent semantics for reversible CCS RC2021 [pdf]
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 (book at Springer)
Towards Bridging Time and Causal Reversibility Forte 2020
Reversible Occurrence Nets and Causal Reversible Event Structures RC 2020
Towards a formal account for software transactional memory RC 2020
Reversing P/T Nets Coordination 2019 [pdf] (with H. Melgratti and I. Ulidowski)
A Parametric Framework for Reversible pi-calculi EXPRESS/SOS 2018 [pdf]
Reversible Choreographies via Monitoring in Erlang [pdf] (with E. Tuosto and A. Francalanza) DAIS 2018
Improving availability in distributed tuple spaces via sharing abstractions and replication strategies PDP 2018 [pdf]
A Safety and Liveness Theory for Total Reversibility TASE17 [pdf] (with V. Koutavas)
Causally Consistent Reversible Choreographies: A Monitors-as-Memories Approach PPDP17 [pdf] (with J. A. Pérez)
Reliability and fault-tolerance by choreographic design PrePost17 [pdf] (with E. Tuosto and A. Francalanza)
Journal Articles
revTPL: The Reversible Temporal Process Language - LMCS [pdf]
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. LMCS [pdf]
Petri net view of covalent bonds Theor. Comp. Science (Elsevier)
Causal Consistency for Reversible Multiparty Protocols. LMCS [pdf]
Static Vs Dynamic Reversibility in CCS. Acta Informatica (Springer) [draft]
A Parametric Framework for Reversible pi-calculi. Information and Computation [draft]
Evaluating the efficiency of Linda implementations. Concurrency and Computation: Practice and Experience (Wiley)
Reversibility in session-based concurrency: A fresh look J. Log. Algebr. Meth. Program (Elsevier)
Causal-consistent rollback in a tuple-based language J. Log. Algebr. Meth. Program (Elsevier)
Reversibility in the Higher-Order pi-calculus Theor. Comp. Sci. (Elsevier) (One of the most cited TCS articles since 2016)
Causal-Consistent Reversibility Bulletin of EATCS