Robin Kaarsgaard

Papers

Total Citations

H-Index

About

Robin Kaarsgaard is a leading researcher in the foundations of reversible computation, a field that explores how computation can proceed both forward and backward to recover past states—a paradigm with critical applications in low-power computing, quantum computing, and robotics. In their highly cited 2020 work, “Foundations of Reversible Computation” (19 citations), Kaarsgaard established core theoretical principles that underpin this emerging area. Their 2018 paper, “Reversible Effects as Inverse Arrows” (12 citations), made a pivotal contribution by modeling side-effects in reversible settings, solving a long-standing problem of how to represent computational effects without breaking reversibility. This work introduced the concept of inverse arrows, providing a rigorous framework for reversible programming with side-effects. Kaarsgaard’s research bridges category theory, programming language semantics, and practical reversible systems, offering both deep theoretical insights and tools for building efficient, reversible hardware and software. Their work is essential reading for anyone exploring the intersection of computation, physics, and energy-efficient design.