Programming Languages and Theory of Computing
Sigurdsgade 41, 2200 København N.
Primary fields of research
- Foundations of reversible computation
- Category theory and its applications in the formal semantics of reversible programming languages, and in quantum foundations, especially quantum computation
- Formal logic and its applications in the synthesis and rewriting of reversible logic circuits
Applying inverse categories as models of reversible programming with a particular focus on modelling reversible feedback and recursion.