Staff – University of Copenhagen

Robin Kaarsgaard

Robin Kaarsgaard


  • Algorithms and Programming Languages (APL)

    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

Current research

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

ID: 129477212