Robin Kaarsgaard

Robin Kaarsgaard


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

Current research

Applying inverse categories as models of reversible programming with a particular focus on modelling reversible feedback and recursion.

ID: 129477212