Horizon Europe · Azioni Marie Skłodowska-Curie

Temi di dottorato

____

Esplora le nostre 13 posizioni di ricerca dottorale sul calcolo ad alta efficienza energetica tramite reversibilità.

Linguaggi di programmazione reversibile

Work Package 1

DC1
Reversible Programming Languages

Supervisore 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…
Leggi di più →
DC2
Concurrency and Distribution in Reversible Languages

Supervisore Ivan Lanese

University of Bologna, Italy

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

Supervisore 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…
Leggi di più →
Algoritmi reversibili

Work Package 2

DC4
Reversible Sequential General-Purpose Algorithms

Supervisore Irek Ulidowski

AGH University of Krakow, Poland

This DC will develop reversible versions of algorithms for standard computation tasks, and deliver reversible versions o…
Leggi di più →
DC5
Reversible Concurrent and Distributed Algorithms

Supervisore 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…
Leggi di più →
DC6
Partially Reversible Algorithms

Supervisore Ivan Lanese

University of Bologna, Italy

The DC will study the trade-off between lost information, time complexity and space complexity in reversible algorithms.…
Leggi di più →
Compilazione e architetture

Work Package 3

DC7
Compilation Principles and Techniques for Reversible Languages

Supervisore 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…
Leggi di più →
DC8
Design and Simulation of Adiabatic Architectures

Supervisore 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…
Leggi di più →
DC9
Design and Simulation of Reversible Neuromorphic Architectures

Supervisore Luca Peres

University of Manchester, UK

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

Supervisore Farshad Moradi

University of Southern Denmark

The DC will work on designing and realizing resonant adiabatic reversible circuits targeting specific computations of in…
Leggi di più →
Applicazioni

Work Package 4

DC11
Energy Efficiency in Blockchains

Supervisore 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…
Leggi di più →
DC12
Energy Efficiency in Cyber-Physical Systems

Supervisore 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…
Leggi di più →
DC13
Energy Efficiency in Machine Learning

Supervisore 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…
Leggi di più →