Horizon Europe · Marie Skłodowska-Curie

PhD Topics

Topics of E-CoRe PhDs

Explore our 13 doctoral research positions in energy-conscious reversible computing.

Reversible Programming Languages

Work Package 1

DC1
Reversible Programming Languages

Supervisor Robert Glück

University of Copenhagen, Denmark

The DC will advance object-oriented and functional reversible languages with a view on increasing their expressiveness a…
Read more →
DC2
Concurrency and Distribution in Reversible Languages

Supervisor Ivan Lanese

University of Bologna, Italy

The DC will study extensions of reversible programming languages to support concurrency and distribution. This includes …
Read more →
DC3
Formal Verification Techniques for Reversible Languages

Supervisor Cinzia Di Giusto

CNRS / Université Côte d'Azur, France

In RC verifying forward computations equipped with distributed backtracking on non-observable actions is equivalent to v…
Read more →
Reversible Algorithms

Work Package 2

DC4
Reversible Sequential General-Purpose Algorithms

Supervisor Irek Ulidowski

AGH University of Krakow, Poland

This DC will develop reversible versions of algorithms for standard computation tasks, and deliver reversible versions o…
Read more →
DC5
Reversible Concurrent and Distributed Algorithms

Supervisor Rajeev Raman

University of Leicester, UK

The aim of this PhD research is twofold. First, the DC will study what it means to reverse and how to reverse concurrent…
Read more →
DC6
Partially Reversible Algorithms

Supervisor Ivan Lanese

University of Bologna, Italy

The DC will study the trade-off between lost information, time complexity and space complexity in reversible algorithms.…
Read more →
Compilation & Architectures

Work Package 3

DC7
Compilation Principles and Techniques for Reversible Languages

Supervisor Robert Glück

University of Copenhagen, Denmark

The DC will study techniques for translating high-level reversible languages to efficient low-level reversible and irrev…
Read more →
DC8
Design and Simulation of Adiabatic Architectures

Supervisor Mikel Lujan

University of Manchester, UK

This DC will start surveying the state-of-the-art RC architectures, their instruction sets, and their main implementatio…
Read more →
DC9
Design and Simulation of Reversible Neuromorphic Architectures

Supervisor Luca Peres

University of Manchester, UK

This DC will study the applicability of RC to non-von Neumann architectures, namely neuromorphic systems. In conjunction…
Read more →
DC10
Realisation of Energy-Efficient Custom Adiabatic Circuits

Supervisor Rodolfo Rosini

VAIRE

The DC will work on designing and realizing resonant adiabatic reversible circuits targeting specific computations of in…
Read more →
Applications

Work Package 4

DC11
Energy Efficiency in Blockchains

Supervisor Claudio Sacerdoti Coen

University of Bologna, Italy

The DC will study how to make algorithms used in blockchains reversible or partially reversible. He/she will first focus…
Read more →
DC12
Energy Efficiency in Cyber-Physical Systems

Supervisor Ulrik Pagh Schultz

University of Southern Denmark, Denmark

The DC will study the use of RC for programming low-energy cyber-physical systems, such as fixed-wing aerial robots or I…
Read more →
DC13
Energy Efficiency in Machine Learning

Supervisor Irek Ulidowski

AGH University of Krakow, Poland

This DC aims at applying reversible computation techniques (in collaboration with DC4 and DC6) as well as other energy s…
Read more →