Concurrency In Reversible Computations

February 3, 2025

News

Presentation

The CinRC project aims at improving current specification languages for concurrent, reversible programs and protocols. It is an international collaborative project funded by the NSF, taking primarily place in the Augusta University’s School of Computer Science.

Augusta University wrote an article presenting the project, and our local television station aired a short segment about it as well.

Members

This project is carried out by Clément Aubert, with the help of the following collaborators (in alphabetical order):

Deivid Vale was offered the post-doctoral position and will join the project in March 2025.

Papers

Abstract

Poster

Tools

Miscellaneous