Robin Kaarsgaard

Robin Kaarsgaard is an Assistant Professor (Tenure-track) specializing in Programming Languages, Quantum Computing, and Reversible Computing. His work bridges theoretical computer science with practical programming language design, focusing on foundational aspects of quantum algorithms, invertible computation, and algebraic structures.

Research interests include quantum programming languages, reversible computing models, category theory applications in computer science, and formal semantics of programming constructs. He has contributed to frameworks like Jeopardy, an invertible functional language, and explored quantum computing's computational limits through mathematical abstractions.

Key projects include the Landauer Meets von Neumann initiative (2020–2022), investigating reversibility in quantum semantics. His work has been featured in media discussions about academic life in Svendborg, Denmark.

Publications span 28 peer-reviewed outputs in venues like ACM Proceedings and Lecture Notes in Computer Science, with recent focus on compositional approaches to quantum programming and invertible recursion mechanisms.