Reversible computations is a restrictive model relating to information preservation. In this project you will design a reversible concurrency model based on the actor model and implement a concurrent programming language for this.
Relevant IFI courses for this project
During this master project, you will need to get good foundational understanding of programming languages and transformation. Relevant courses during this project would be:
