- Timed Automata
- Formal Verification
- Model Checking
- +۶ مورد دیگر
Marco Antonio Muniz Rodriguez is an Associate Professor at the Department of Computer Science, part of The Technical Faculty of IT and Design at Aalborg University. His research focuses on formal methods, specifically timed automata and model checking, with applications in machine learning, stochastic systems, and safety-critical decision-making. He contributes to the UPPAAL verification tool and explores interdisciplinary areas like healthcare optimization and traffic systems. He participated in the BEO-COVID project (2020), developing decision support tools for pandemic management. His work integrates formal verification techniques with machine learning to address real-world problems such as traffic rerouting and epidemic prevention. Key collaborations include projects with the Poul Due Jensen Foundation and industrial partners. His research spans theoretical advancements in timed systems and practical implementations, emphasizing computational efficiency through GPU acceleration and static analysis. He has published on topics ranging from stubborn set reduction to proactive traffic management, demonstrating a commitment to both foundational research and applied solutions.













