Calin Belta

Calin Belta is a Professor in the College of Engineering at Boston University, with joint appointments in Mechanical Engineering, Systems Engineering, and Electrical and Computer Engineering. His research bridges control theory and formal methods, focusing on controller synthesis and automatic verification of hybrid systems with applications in robotics and systems biology.

Education:

• Ph.D. in Control Theory, University of Pennsylvania

His work emphasizes temporal logic specifications for ensuring safety and correctness in autonomous systems, particularly through control barrier functions (CBFs), reinforcement learning, and model predictive control. Applications span from microrobotics to autonomous driving and biomolecular modeling.

His recent articles (2025–2024) highlight advancements in safe control algorithms for autonomous vehicles, adaptive CBFs, temporal logic-guided learning, and microrobotics for cell manipulation. Common themes include formal verification, robustness, and human-in-the-loop safety.

Scientific Awards:

• AFOSR Young Investigator Award (2008)
• NSF CAREER Award (2005)

He also contributes to academia as a Senior Member of IEEE and Associate Editor for journals like SIAM Journal on Control and Optimization and IEEE Transactions on Automatic Control. His lab develops computational tools for safety-critical control in complex environments.