معرفی
Hugo Daniel Macedo serves as an Associate Professor in the Department of Electrical and Computer Engineering at Aarhus University, where he leads research at the intersection of formal methods and cyber-physical systems. His primary institutional affiliations include the INTO-CPS initiative and the HUBCAP project, focusing on integrated toolchains for collaborative engineering design.
His research spans critical domains in modern engineering:
- Digital Twins: Visualization frameworks, security architectures, and applications in autonomous systems (e.g., F1TENTH race cars) and sustainable infrastructure (floodwater management for Power-to-X)
- Formal Methods: Advancement of the Vienna Development Method (VDM), including tool integration with UML and Visual Studio Code
- Cyber-Physical Systems: Model-based design, co-simulation techniques, and lifecycle management for circular economy applications
Analysis of his 2022-2024 publications reveals a strategic focus on operationalizing digital twins through formal verification, with significant contributions to floodwater resource systems and secure autonomous vehicle frameworks. His work consistently bridges theoretical formal methods with industrial applications, particularly in sustainable engineering contexts.
Dr. Macedo actively supervises graduate students in digital twin implementation and formal verification methodologies, though specific advisee names are not publicly documented. His project leadership includes the EU-funded Digital Innovation HUBs initiative (2020-2022), which developed collaborative platforms for cyber-physical system design, securing substantial research grants for toolchain integration and security validation.
He maintains active roles in the International Overture Workshop series as both contributor and proceedings editor, driving community standards for formal methods tooling. Current laboratory work centers on the INTO-CPS Application environment, where his team develops co-simulation frameworks for real-time digital twin deployment across automotive and environmental engineering domains.
