Who?
I am a postdoctoral researcher at the Department of Computer Science at the University of Copenhagen.
My primary field of interest is reversible computing, specifically in the development of categorical semantics for reversible programming languages, as well as formal approaches to the specification and optimization of reversible logic circuits. I am also interested in (categorical approaches to) quantum computing, and in categorical semantics of logics and programming languages in general.
Publications
 R. Kaarsgaard. Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. Accepted for publication at the 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXV), to appear, 2019. (arXiv)
 R. Kaarsgaard. Inversion, Iteration, and the Art of Dual Wielding. Accepted for publication at the 11th Conference on Reversible Computation (RC 2019), to appear, 2019. (arXiv)
 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), 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), 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), Lecture Notes in Computer Science Volume 9138, pages 200–215, Springer Verlag, 2015. (preprint, Springer)
Theses
Teaching and supervision
 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
 Lars Vadgaard and Anders Jørgensen. Reversible Programming Languages and Program Transformations. Bachelor's thesis, Department of Computer Science, University of Copenhagen, 2018.
 Petur Andrias Højgaard Jacobsen. Design of a Reversible Functional Programming Language and its Type System. Master's thesis, Department of Computer Science, University of Copenhagen, 2018. (with Michael Kirkedal Thomsen)
 Xiaomo Yao. Reversible Computing with Types: A functional programmer's perspective. Master's thesis, Department of Computer Science, University of Copenhagen, 2018. (with Robert Glück)
Other academic activities

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.

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