Calin Belta is the Brendan Iribe Endowed Professor of Electrical and Computer Engineering and Computer Science at the University of Maryland, College Park. He is affiliated with the Institute of Systems Research (ISR) and the Maryland Robotics Center (MRC), and holds a Research Professor position at Boston University's College of Engineering. His work bridges control theory, formal methods, and machine learning to ensure safety in cyber-physical and data-driven systems, with applications in robotics, autonomous driving, and systems biology. Research Interests: Focus on dynamics and control theory, formal methods for verification and control synthesis, robotics, autonomous systems, and synthetic biology. Recent projects include PROGENIC (collaborating with MIT, UChicago, and UDelaware) and safety-critical control for heterogeneous robotic teams. Key Achievements: General Chair of the 2025 MRC Symposium, recipient of AFOSR Young Investigator Award (2008), NSF CAREER Award (2005), and IEEE Fellow. His work on formal methods for autonomous systems has led to impactful tools for safety assurance in robotics and AI. Grants: NSF EFRI PROGENIC grant (2024), multiple industry partnerships. Advising: Mentored students like Wenliang Liu (PhD 2024, now at Amazon), and collaborator Marius Kloetzer (shared HSCC Test of Time Award 2025). Labs/Teams: Maryland Robotics Center, Institute for Systems Research, and Boston University collaborations.











