Holger Bock Axelsen
The APL Section
Reversible computing and programming. Computability and complexity. Programming language technology. Quantum computation. Applications of reversibility in computer systems (robotics, transactions).
Trade-offs between modalities in automata models, programming languages and algorithms, applications of reversibility in computer systems, quantum computation.