Horizon Europe · Marie Skłodowska-Curie

Ph.d.-emner

E-CoRe ph.d.-emner

Udforsk vores 13 doktorforskningsstillinger i energibevidst reversibel beregning.

Reversible programmeringssprog

Arbejdspakke 1

DC1
Reversible Programming Languages

Vejleder 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…
Læs mere →
DC2
Concurrency and Distribution in Reversible Languages

Vejleder Ivan Lanese

University of Bologna, Italy

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

Vejleder 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…
Læs mere →
Reversible algoritmer

Arbejdspakke 2

DC4
Reversible Sequential General-Purpose Algorithms

Vejleder Irek Ulidowski

AGH University of Krakow, Poland

This DC will develop reversible versions of algorithms for standard computation tasks, and deliver reversible versions o…
Læs mere →
DC5
Reversible Concurrent and Distributed Algorithms

Vejleder 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…
Læs mere →
DC6
Partially Reversible Algorithms

Vejleder Ivan Lanese

University of Bologna, Italy

The DC will study the trade-off between lost information, time complexity and space complexity in reversible algorithms.…
Læs mere →
Kompilering og arkitekturer

Arbejdspakke 3

DC7
Compilation Principles and Techniques for Reversible Languages

Vejleder 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…
Læs mere →
DC8
Design and Simulation of Adiabatic Architectures

Vejleder 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…
Læs mere →
DC9
Design and Simulation of Reversible Neuromorphic Architectures

Vejleder Luca Peres

University of Manchester, UK

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

Vejleder Rodolfo Rosini

VAIRE

The DC will work on designing and realizing resonant adiabatic reversible circuits targeting specific computations of in…
Læs mere →
Applikationer

Arbejdspakke 4

DC11
Energy Efficiency in Blockchains

Vejleder 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…
Læs mere →
DC12
Energy Efficiency in Cyber-Physical Systems

Vejleder 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…
Læs mere →
DC13
Energy Efficiency in Machine Learning

Vejleder 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…
Læs mere →