Making Control and Machine Learning Systems Safe and Interpretable

Safe, Interpretable, and Composable Reinforcement Learning for Robotic ManipulationSafe, Interpretable, and Composable Reinforcement Learning for Robotic Manipulation
Formal Methods to Comply with Rules of the Road in Autonomous Driving
Machine Learning and Control for Synthetic Biology
Provably-correct motion planning and control for heterogeneous robotic teams

WELCOME

Calin Belta is the Brendan Iribe Endowed  Professor of  Electrical and Computer Engineering and Computer Science  at the University of Maryland, College Park, where is also part of the Maryland Robotics Center (MRC) and the Institute for Systems Research (ISR). He is also a Research Professor in the College of Engineering at Boston University. His research focuses on dynamics and control theory, with particular emphasis on cyber-physical systems, formal methods, and applications to robotics, autonomous driving, and systems biology.
Google Scholar

NEWS

09/01/26: Calin will deliver a Highlight Talk (HT) at the 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, December 16, 2026
06/01/26: Calin will be a plenary speaker at the 30th ICSTCC, Iasi, Romania, October 22, 2026
05/01/26: EXACT lab is part of an ARPA-H $17 mil grant  TEARWISE: Tear-Film Electronic Active Release and Wireless Immune-shielded Sensing (subcontract from Columbia)
02/12/26: Calin and Antoine Girard will teach an EECI course “Formal Methods in Control Design: Abstraction, Optimization, and Data-driven Approaches” in Delft, The Netherlands, April 12-16, 2024 (see flier for more information, follow this link for registration – select M05)
02/12/26: Ahmad Ahmad successfully defended his PhD thesis in Systems Engineering  at BU. Congratulations Ahmad!
12/19/25: Peter Crowley successfully defended his PhD thesis and moved on to a position at Lincoln MIT. Congratulations Peter!
05/8/25: Marius and Calin got the Test of Time Award at HSCC 2025 for their paper: “Marius Kloetzer and Calin Belta, A fully automated framework for control of linear systems from LTL specifications, HSCC 2006”