Research areas
Quantum computing
Categorical quantum theory
Programming languages
Funded projects
Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics (2020-2022)
Selected publications
J. Carette, C. Heunen, R. Kaarsgaard and A. Sabry. With a Few Square Roots, Quantum Computing is as Easy as Pi. Conditionally accepted for POPL 2024, arXiv preprint 2310.14056, 2023.
P. A. Martínez, C. Heunen and R. Kaarsgaard. Universal Properties of Partial Quantum Maps. Accepted for Quantum Physics and Logic (QPL 2022), to appear, 2022.
C. Heunen and R. Kaarsgaard. Quantum Information Effects. In Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL, Article No. 2, pages 1–27, 2022.
S. Bhaskar and R. Kaarsgaard. Graph Traversals as Universal Constructions. In F. Bonchi and S. J. Puglisi, editors, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Leibniz International Proceedings in Informatics (LIPIcs) Volume 202, pages 17:1-17:20, 2021.
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.
SoMe
Twitter: @Manchegobaby
Mastodon: @rkaarsgaard@mathstodon.xyz
Linkedin: Robin Kaarsgaard
Google Scholar: Robin Kaarsgaard
