Marie-Curie Doctoral Network - E-core
Reversible Computing allows programs to execute in the usual forward direction and backwards, recovering past states. Reversibility allows to avoid the Landauer limit, a lower bound to the amount of energy needed to perform an irreversible computation, it comes with the promise of providing computing technology more efficient than any other. The project aims at forming a community of experts with deep understanding of reversibile computations to support new reversible hardware and architectures, new programming languages, and new algorithms, in particular in energy-intensive areas such as machine learning, blockchains and drones.