☰ Reversible Computing Research Group

Reversible Computing Research Group

Projects

Here is a list of research projects in which members of the RCR group are involved.

Acronym Full Name Time Span Type of Project Partitipants
DeKLA Developing Kleene Logics and their Applications 2023-2025 Italy / Prin
  • Marco Bernardo
  • Claudio Antares Mezzina
NiRvAna Noninterference and Reversibility Analysis in Private Blockchains 2022-2025 Italy / Prin
  • Marco Bernardo
  • Andrea Marin
  • Claudio Antares Mezzina
  • Sabina Rossi
DCore Causal Debugging for Concurrent Systems 2020-2024 France / ANR
  • Ivan Lenese
  • Claudio Antares Mezzina
RISICO Reversibilità in sistemi concorrenti: analisi Quantitative e Funzionali 2024-2025 Italy / Indam
  • Franco Barbanera
  • Roberto Bruni
  • Ugo de' Liguoro
  • Andrea Marin
  • G. Michele Pinna
  • Sabina Rossi
  • Claudio Sacerdoti Coen
  • Emilio Tuosto
-- Proprietà Qualitative e Quantitative dei Sistemi Reversibili 2022-2023 Italy / Indam
  • Franco Barbanera
  • Roberto Bruni
  • Ugo de' Liguoro
  • Andrea Marin
  • G. Michele Pinna
  • Sabina Rossi
  • Claudio Sacerdoti Coen
  • Francesco Tiezzi
  • Emilio Tuosto

Freely inspired by w3.css