Robin Kaarsgaard

I am associate 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

Apr 21, 2026	I will visit Oslo on May 4th and 5th for the NorQSoft launch event.
Apr 16, 2026	Our paper One rig to control them all was accepted for LICS 2026 in Lisbon, and as a talk at QPL 2026 in Amsterdam.
Feb 21, 2026	I will speak at the QUBITS Seminars at Aarhus University on March 2.
Feb 17, 2026	Our paper Free quantum computing was published in PNAS.
Dec 03, 2025	Member of the programme committee for QPL 2026 in Amsterdam.

Selected Publications

PNAS

Free quantum computing

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

Proceedings of the National Academy of Sciences of the United States of America, 2026

Bib HTML PDF

@article{freeq,
  title = {Free quantum computing},
  author = {Carette, J. and Heunen, C. and Kaarsgaard, R. and Ross, Neil J. and Sabry, A.},
  journal = {Proceedings of the National Academy of Sciences of the United States of America},
  volume = {123},
  number = {8},
  pages = {e2510881123},
  year = {2026},
  doi = {10.1073/pnas.2510881123},
}

POPL

Hadamard-Pi: Equational Quantum Programming

W. Fang, C. Heunen, and R. Kaarsgaard

Proceedings of the ACM on Programming Languages, 2026

Bib PDF

@article{hadamardpi,
  author = {Fang, W. and Heunen, C. and Kaarsgaard, R.},
  title = {Hadamard-Pi: Equational Quantum Programming},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {10},
  number = {POPL},
  year = {2026},
}

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

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