Bogdan Aman

Papers

Total Citations

H-Index

About

Bogdan Aman 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 concept with profound implications for low-power computing, simulation, and robotics. His most-cited work, the 2020 paper "Foundations of Reversible Computation" (19 citations), provides a comprehensive framework for understanding the theoretical underpinnings of this emerging paradigm. Aman’s contributions extend to formal models and calculi that define the semantics of reversible systems, enabling precise reasoning about state recovery and causality in computational processes. His research has significant impact, influencing both theoretical computer science and practical applications where energy efficiency and error correction are critical. Through his work, Aman has helped establish reversible computation as a rigorous discipline, bridging gaps between concurrency theory, quantum computing, and thermodynamics. His achievements include advancing the understanding of how reversible processes can be modeled, verified, and implemented, making him a key figure in this niche but rapidly growing area.