Robin Kaarsgaard

I am (tenure-track) assistant professor in the Department of Mathematics and Computer Science at University of Southern Denmark. There, I am associated with ACP and the Centre for Quantum Mathematics.

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

News

Jun 24, 2025	I received a Sapere Aude grant from the Independent Research Fund Denmark to study quantum programming languages and their mathematics.
Jun 02, 2025	I am giving an invited talk at Computability in Europe 2025 in the Special Session on Quantum Computing.
Jun 01, 2025	Registration is open for RC 2025 in Odense!
Nov 27, 2024	Member of the program committee for ACT 2025.
Nov 14, 2024	Member of the program committee for QPL 2025.

Selected Publications

POPL

With a Few Square Roots, Quantum Computing is as Easy as Pi

J. Carette, C. Heunen, R. Kaarsgaard, and A. Sabry

Proceedings of the ACM on Programming Languages, 2024

Bib HTML Code Slides

@article{sqrts,
  title = {With a Few Square Roots, Quantum Computing is as Easy as Pi},
  author = {Carette, J. and Heunen, C. and Kaarsgaard, R. and Sabry, A.},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {POPL},
  pages = {546–574},
  year = {2024},
}

ICFP

How to Bake a Quantum Pi

J. Carette, C. Heunen, R. Kaarsgaard, and A. Sabry

Proceedings of the ACM on Programming Languages, 2024

Bib HTML Code

@article{howtobake,
  title = {How to Bake a Quantum Pi},
  author = {Carette, J. and Heunen, C. and Kaarsgaard, R. and Sabry, A.},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {ICFP},
  pages = {1-29},
  year = {2024},
}

POPL

Quantum Information Effects

C. Heunen, and R. Kaarsgaard

Proceedings of the ACM on Programming Languages, 2022

Bib HTML PDF Video Code Slides

@article{qinfeff,
  title = {Quantum Information Effects},
  author = {Heunen, C. and Kaarsgaard, R.},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {POPL},
  pages = {1-27},
  year = {2022},
}

QPL

Universal Properties of Partial Quantum Maps

P. Andrés-Martinez, C. Heunen, and R. Kaarsgaard

In 19th International Conference on Quantum Physics and Logic (QPL 2022), 2023

Bib HTML PDF Slides

@inproceedings{uniprop,
  title = {Universal Properties of Partial Quantum Maps},
  author = {Andrés-Martinez, P. and Heunen, C. and Kaarsgaard, R.},
  editor = {Gogioso, S. and Hoban, M.},
  booktitle = {19th International Conference on Quantum Physics and Logic
                    (QPL 2022)},
  pages = {192-207},
  publisher = {OPA},
  year = {2023},
}