PhD-Themen | E-CoRe

Reversible Programmiersprachen

Arbeitspaket 1

DC1

Reversible Programming Languages

Betreuer 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…

Weiterlesen →

DC2

Concurrency and Distribution in Reversible Languages

Betreuer Ivan Lanese

University of Bologna, Italy

The DC will study extensions of reversible programming languages to support concurrency and distribution. This includes …

Weiterlesen →

DC3

Formal Verification Techniques for Reversible Languages

Betreuer 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…

Weiterlesen →

Reversible Algorithmen

Arbeitspaket 2

DC4

Reversible Sequential General-Purpose Algorithms

Betreuer Irek Ulidowski

AGH University of Krakow, Poland

This DC will develop reversible versions of algorithms for standard computation tasks, and deliver reversible versions o…

Weiterlesen →

DC5

Reversible Concurrent and Distributed Algorithms

Betreuer 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…

Weiterlesen →

DC6

Partially Reversible Algorithms

Betreuer Ivan Lanese

University of Bologna, Italy

The DC will study the trade-off between lost information, time complexity and space complexity in reversible algorithms.…

Weiterlesen →

Kompilierung und Architekturen

Arbeitspaket 3

DC7

Compilation Principles and Techniques for Reversible Languages

Betreuer 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…

Weiterlesen →

DC8

Design and Simulation of Adiabatic Architectures

Betreuer 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…

Weiterlesen →

DC9

Design and Simulation of Reversible Neuromorphic Architectures

Betreuer Luca Peres

University of Manchester, UK

This DC will study the applicability of RC to non-von Neumann architectures, namely neuromorphic systems. In conjunction…

Weiterlesen →

DC10

Realisation of Energy-Efficient Custom Adiabatic Circuits

Betreuer Rodolfo Rosini

VAIRE

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

Weiterlesen →

Anwendungen

Arbeitspaket 4

DC11

Energy Efficiency in Blockchains

Betreuer 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…

Weiterlesen →

DC12

Energy Efficiency in Cyber-Physical Systems

Betreuer 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…

Weiterlesen →

DC13

Energy Efficiency in Machine Learning

Betreuer 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…

Weiterlesen →