Robin Kaarsgaard Sales

Robin Kaarsgaard Sales is an Assistant Professor on the tenure track in the Department of Mathematics and Computer Science at the University of Southern Denmark, Faculty of Science and Engineering. His research focuses on the theoretical foundations of programming languages, with an emphasis on reversible computation, quantum programming, and categorical semantics.

His research interests span Programming Languages, Reversible Computation, Quantum Computing, Categorical Semantics, Functional Programming, and Formal Methods. He investigates how invertibility and reversibility can be integrated into programming models, particularly in the context of quantum computation, using tools from category theory and mathematical logic.

His recent publications, appearing in high-impact venues such as POPL and ICFP, demonstrate a consistent focus on compositional models of reversible and quantum computation. Key themes include invertible functional programming, quantum semantics via groupoids and morphisms, and program transformations for tail recursion in reversible settings. These works reflect a deep integration of theoretical computer science with mathematical structures.

Robin was a participant in the research project Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics (2020–2022), funded by the Danish Research Council, which underscores his active role in advancing foundational aspects of quantum computing. He has collaborated extensively with prominent researchers including Jacques Carette, Chris Heunen, and Amr Sabry.

His work has been featured in public media, including TV2 News and regional press, highlighting both his research impact and community engagement. He is also referenced on Wikipedia and has a presence on academic platforms such as ORCID, Scopus, and Mendeley.

He is affiliated with a research group active in programming language theory and quantum computation, contributing to a growing international network in reversible and quantum computing. His ongoing work continues to explore the mathematical underpinnings of computation, aiming to bridge theory with practical language design.