Who?
I am a postdoctoral researcher at the Department of Computer Science (DIKU) at the University of Copenhagen.
My primary field of interest is category theory and categorical semantics, which I tend to apply to models of reversible and quantum programming languages, iteration, recursion, effects, and to models of logics.
Publications
 R. Glück, R. Kaarsgaard, and T. Yokoyama. Reversible Programs Have Reversible Semantics. Accepted for presentation at the Workshop on Reversibility in Programming, Languages, and Automata (RPLA 2019), 2019. (preprint, slides)
 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 366384, 2019. (Springer)
 R. Kaarsgaard. Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. In B. König, editor, Proceedings of the ThirtyFifth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXV), Electronic Notes in Theoretical Computer Science Volume 347, pages 179–202, 2019. (arXiv, Elsevier)
 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. (arXiv, Springer)
 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. (arXiv, LMCS)
 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. (preprint, Springer)
 C. Heunen, R. Kaarsgaard, and M. Karvonen. Reversible effects as inverse arrows. In S. Staton, editor, Proceedings of the ThirtyFourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV), Electronic Notes in Theoretical Computer Science Volume 341, pages 179–199, Elsevier, 2018. (arXiv, Elsevier)
 R. Glück and R. Kaarsgaard. A Categorical Foundation for Structured Reversible Flowchart Languages. In A. Silva, editor, Proceedings of the Thirtythird Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), Electronic Notes in Theoretical Computer Science Volume 336, pages 155–171, Elsevier, 2018. (preprint, Elsevier)
 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. (preprint, Elsevier)
 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. (preprint, Springer)
 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. (preprint, Springer)
 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. (preprint, Springer)
Theses
Teaching and supervision
 Fall 2019: Logic in Computer Science (lecturer, course head)
 Spring 2019: Softwareudvikling (lecturer)
 Spring 2019: Programming Language Design (lecturer)
 Fall 2018: Logic in Computer Science: Models and Proofs for Systems (lecturer, course head)
 Fall 2017: Logic in Computer Science: Models and Proofs for Systems (lecturer)
 Fall 2016: Logic in Computer Science: Models and Proofs for Systems (lecturer)
 Fall 2015: Logic in Computer Science: Models and Proofs for Systems (lecturer)
 Spring 2015: Topics in Programming Languages (guest lecturer, misc. assistance)
Supervision
I have previously (co)supervised 2 Master's theses and 4 Bachelor's theses. Students: If you're interested in writing a project with me, get in touch!Other

Visits
 Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, January 2019.
 Nijmegen Quantum Logic Group, Institute for Computing and Information Sciences (iCIS), Radboud University, March – June 2016.

Awards
 DIKU Teacher of the Year, 2019

Committees
 Reversibility in Programming, Languages, and Automata (RPLA 2019)

External reviewer
 11th Conference on Reversible Computation (RC 2019),
 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019),
 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018),
 10th International Conference on Reversible Computation (RC 2018),
 The Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018)
 9th Conference on Reversible Computation (RC 2017),
 Journal of Logical and Algebraic Methods in Programming,
 26th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR 2016),
 8th Conference on Reversible Computation (RC 2016),
 7th Conference on Reversible Computation (RC 2015).
Contact