Holger Bock Axelsen

Papers

Total Citations

H-Index

About

Holger Bock Axelsen is a leading figure in the theory and application of reversible computing, a field that explores how computation can be performed with minimal energy dissipation and the ability to run both forward and backward. His research spans reversible programming languages, domain-specific languages for reversible systems, and the foundational principles of invertible logic. Axelsen’s major contributions include pioneering work on reversible assembly sequences, where he developed a domain-specific language that enables the design of reversible manufacturing and robotic processes—a breakthrough with implications for sustainable engineering and low-power computing. His most-cited paper, "Towards a Domain-Specific Language for Reversible Assembly Sequences" (2015, 17 citations), lays the groundwork for this innovative approach, demonstrating how reversible operations can be systematically modeled and optimized. Beyond this, Axelsen has contributed to the broader reversible computing community through foundational work on reversible Turing machines and the formal semantics of reversible languages. His research is notable for bridging theoretical computer science with practical applications in green computing and automation, making him a key figure in advancing reversible paradigms for future technologies.