Horizon Europe · Marie Skłodowska-Curie

Sujets de thèse

Sujets de thèse E-CoRe

Explorez nos 13 positions de recherche doctorale en calcul réversible économe en énergie.

Langages de programmation réversibles

Lot de travail 1

DC1
Reversible Programming Languages

Superviseur 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…
Lire la suite →
DC2
Concurrency and Distribution in Reversible Languages

Superviseur Ivan Lanese

University of Bologna, Italy

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

Superviseur 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…
Lire la suite →
Algorithmes réversibles

Lot de travail 2

DC4
Reversible Sequential General-Purpose Algorithms

Superviseur Irek Ulidowski

AGH University of Krakow, Poland

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

Superviseur 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…
Lire la suite →
DC6
Partially Reversible Algorithms

Superviseur Ivan Lanese

University of Bologna, Italy

The DC will study the trade-off between lost information, time complexity and space complexity in reversible algorithms.…
Lire la suite →
Compilation et architectures

Lot de travail 3

DC7
Compilation Principles and Techniques for Reversible Languages

Superviseur 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…
Lire la suite →
DC8
Design and Simulation of Adiabatic Architectures

Superviseur 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…
Lire la suite →
DC9
Design and Simulation of Reversible Neuromorphic Architectures

Superviseur Luca Peres

University of Manchester, UK

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

Superviseur Rodolfo Rosini

VAIRE

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

Lot de travail 4

DC11
Energy Efficiency in Blockchains

Superviseur 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…
Lire la suite →
DC12
Energy Efficiency in Cyber-Physical Systems

Superviseur 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…
Lire la suite →
DC13
Energy Efficiency in Machine Learning

Superviseur 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…
Lire la suite →