Hugo A. López

Hugo A. López is Associate Professor in Computer Science at the Technical University of Denmark, specializing in formal methods and process-oriented technologies. Research bridges theoretical formalization and software tool development.

Focus areas include adaptive process models, compliance verification, and cross-sector applications. Recent work explores modularization and synchronization mechanisms for complex systems.