Who?

I am (tenure-track) assistant professor in the Section for Artificial Intelligence, Cybersecurity, and Programming Languages at the Department of Mathematics and Computer Science at University of Southern Denmark. I am also associated with the Centre for Quantum Mathematics.

My research focuses on quantum programming languages, their semantics and foundations, and more broadly on the applications of category theory to computer science.

News

Preprints

  1. J. Carette, C. Heunen, R. Kaarsgaard and A. Sabry. The Quantum Effect: A Recipe for QuantumPi. arXiv preprint 2302.01885, 2023.

Publications

  1. J. T. Kristensen, R. Kaarsgaard and M. K. Thomsen. Jeopardy: An Invertible Functional Programming Language. Accepted for 16th International Conference on Reversible Computation (RC 2024), to appear, 2024.
  2. J. Carette, C. Heunen, R. Kaarsgaard and A. Sabry. With a Few Square Roots, Quantum Computing is as Easy as Pi. Proceedings of the ACM on Programming Languages, Volume 8, Issue POPL, Article No. 19, pages 546–574, 2024.
  3. J. T. Kristensen, R. Kaarsgaard and M. K. Thomsen. Tail recursion transformation for invertible functions. In M. Kutrib and U. Meyer, editors, 15th International Conference on Reversible Computation (RC 2023), Lecture Notes in Computer Science Volume 13960, pages 73–88, Springer Verlag, 2023.
  4. J. T. Kristensen, R. Kaarsgaard and M. K. Thomsen. Branching execution symmetry in Jeopardy by available implicit arguments analysis. Norwegian ICT Conference for Research and Education, Issue 1 (2022), 2023.
  5. P. Andrés-Martínez, C. Heunen and R. Kaarsgaard. Universal Properties of Partial Quantum Maps. In S. Gogioso and M. Hoban, editors, 19th International Conference on Quantum Physics and Logic (QPL 2022), Electronic Proceedings in Theoretical Computer Science Volume 394, pages 192-207, 2023.
  6. F. Henglein, R. Kaarsgaard and M. K. Mathiesen. Algeo: An Algebraic Approach to Reversibility. In C. A. Mezzina and K. Podlaski, editors, Reversible Computation (RC 2022), Lecture Notes in Computer Science Volume 13354, pages 128–145, Springer Verlag, 2022.
  7. R. Glück, R. Kaarsgaard and T. Yokoyama. From Reversible Programming Languages to Reversible Metalanguages. Theoretical Computer Science, Volume 920, pages 46–63, 2022.
  8. M. Elsman, F. Henglein, R. Kaarsgaard, M. K. Mathiesen and R. Schenck. Combinatory adjoints and differentiation. In J. Gibbons and M. S. New, editors, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), Electronic Proceedings in Theoretical Computer Science (EPTCS) Volume 360, pages 1–26, 2022.
  9. F. Henglein, R. Kaarsgaard and M. K. Mathiesen. The Programming of Algebra. In J. Gibbons and M. S. New, editors, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), Electronic Proceedings in Theoretical Computer Science (EPTCS) Volume 360, pages 71–92, 2022.
  10. C. Heunen and R. Kaarsgaard. Quantum Information Effects. Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL, Article No. 2, pages 1–27, 2022.
  11. R. Kaarsgaard and M. Rennela. Join inverse rig categories for reversible functional programming, and beyond. In A. Sokolova, editor, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII), Electronic Proceedings in Theoretical Computer Science (EPTCS) Volume 351, pages 152-167, 2021.
  12. S. Bhaskar and R. Kaarsgaard. Graph Traversals as Universal Constructions. In F. Bonchi and S. J. Puglisi, editors, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Leibniz International Proceedings in Informatics (LIPIcs) Volume 202, pages 17:1-17:20, 2021.
  13. C. Heunen and R. Kaarsgaard. Bennett and Stinespring, Together at Last. In M. Backens and C. Heunen, editors, 18th International Conference on Quantum Physics and Logic (QPL 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS) Volume 343, pages 102–118, 2021.
  14. B. Aman, G. Ciobanu, R. Glück, R. Kaarsgaard, J. Kari, M. Kutrib, I. Lanese, C. A. Mezzina, Ł. Mikulski, R. Nagarajan, I. Phillips, M. Pinna, L. Prigioniero, I. Ulidowski and G. Vidal. Foundations of Reversible Computation. In I. Ulidowski, I. Lanese, U. P. Schultz and C. Ferreira, editors, Reversible Computation: Extending Horizons of Computing (Selected Results of the COST Action IC1405), Lecture Notes in Computer Science Volume 12070, pages 1–40, 2020.
  15. R. Glück, R. Kaarsgaard, and T. Yokoyama. Reversible Programs Have Reversible Semantics. In E. Sekerinski et al., editors, FM 2019 Workshops, Lecture Notes in Computer Science Volume 12233, pages 413–427, Springer Verlag, 2020.
  16. R. Kaarsgaard and N. Veltri. En garde! Unguarded iteration for reversible computation in the Delay monad. In G. Hutton, editor, 13th International Conference on Mathematics of Program Construction (MPC 2019), Lecture Notes in Computer Science Volume 11825, pages 366-384, 2019.
  17. R. Kaarsgaard. Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. In B. König, editor, Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXV), Electronic Notes in Theoretical Computer Science Volume 347, pages 179–202, Elsevier, 2019.
  18. R. Kaarsgaard. Inversion, Iteration, and the Art of Dual Wielding. In M. Thomsen and M. Soeken, editors, Reversible Computation (RC 2019), Lecture Notes in Computer Science Volume 11497, pages 34–50, Springer Verlag, 2019.
  19. R. Glück and R. Kaarsgaard. A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. Logical Methods in Computer Science, volume 14(3), pages 1–38, 2018.
  20. P. A. H. Jacobsen, R. Kaarsgaard, and M. K. Thomsen. CoreFun: A Typed Functional Reversible Core Language. In J. Kari and I. Ulidowski, editors, Reversible Computation (RC 2018), Lecture Notes in Computer Science Volume 11106, pages 304–321, Springer Verlag, 2018.
  21. C. Heunen, R. Kaarsgaard, and M. Karvonen. Reversible effects as inverse arrows. In S. Staton, editor, Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV), Electronic Notes in Theoretical Computer Science Volume 341, pages 179–199, Elsevier, 2018.
  22. R. Glück and R. Kaarsgaard. A Categorical Foundation for Structured Reversible Flowchart Languages. In A. Silva, editor, Proceedings of the Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), Electronic Notes in Theoretical Computer Science Volume 336, pages 155–171, Elsevier, 2018.
  23. R. Kaarsgaard, H. B. Axelsen, and R. Glück. Join Inverse Categories and Reversible Recursion. Journal of Logical and Algebraic Methods in Programming, volume 87, pages 33–50, 2017.
  24. H. B. Axelsen, R. Glück, and R. Kaarsgaard. A Classical Propositional Logic for Reasoning about Reversible Logic Circuits. In J. Väänänen, Å. Hirvonen, and R. de Queiroz, editors, Logic, Language, Information, and Computation (WoLLIC), Lecture Notes in Computer Science Volume 9803, pages 52–67, Springer Verlag, 2016.
  25. H. B. Axelsen and R. Kaarsgaard. Join inverse categories as models of reversible recursion. In B. Jacobs and C. Löding, editors, Foundations of Software Science and Computation Structures (FoSSaCS 2016), Lecture Notes in Computer Science Volume 9634, pages 73–90, Springer Verlag, 2016.
  26. M. K. Thomsen, R. Kaarsgaard, and M. Soeken. Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics. In J. Krivine and J.-B. Stefani, editors, Reversible Computation (RC 2015), Lecture Notes in Computer Science Volume 9138, pages 200–215, Springer Verlag, 2015.

Thesis

  1. R. Kaarsgaard. The Logic of Reversible Computing - Theory and Practice. PhD thesis, Department of Computer Science, University of Copenhagen, 2018.

Teaching and supervision

At the University of Southern Denmark, I teach: While at the University of Edinburgh, I taught: While at the University of Copenhagen, I taught:

Supervision

If you're interested in writing a project with me on reversible and/or quantum computing, get in touch.

Contact