Concurrency In Reversible Computations

June 1, 2023

☛☛ The project is currently actively looking for candidates for post-doc and PhD positions.☚☚


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.


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



Major Revision

The revision essentially requires to clarify the connection between the general principle sketched in the beginning of the paper and its articulation to CSSK. I look forward to clarifying this question and to refer to the related approaches suggested by the reviewers.