Staff – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

Department of Computer Science DIKU > Staff

Robin Kaarsgaard

Robin Kaarsgaard

PhD Student

  • Department of Computer Science

    Universitetsparken 5

    2100 København Ø

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