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

Nov 27, 2024	Member of the program committee for ACT 2025.
Nov 14, 2024	Member of the program committee for QPL 2025.
Nov 12, 2024	I am organising (and co-chairing the program committee for) RC 2025 in Odense, Denmark on July 3-4, 2025.
Sep 16, 2024	Member of the program committee for POPL 2025 Student Research Competition.
Aug 01, 2024	Our paper “How to Bake a Quantum Π” with Jacques Carette, Chris Heunen, and Amr Sabry was accepted for ICFP 2024!

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},
}