Calin Belta

Short Bio: Calin Belta received B.S. and M.Sc. degrees in Control and Computer Science from the Technical University of Iasi and M.Sc. and Ph.D. in Mechanical Engineering from the University of Pennsylvania. He is currently an Associate Professor at Boston University. His research interests include dynamics and control, formal verification, robotics, and systems biology.

He is a Senior Member of the IEEE and an Associate Editor for the SIAM Journal on Control and Optimization (SICON). He received the AFOSR Young Investigator Award in 2008 and the NSF CAREER Award in 2005.

Full CV (as of July 29, 2013)


12/18/2013 Alphan defended his PhD thesis Optimal Temporal Logic Control of Autonomous Vehicles. Congratulations Alphan!

11/19/2013 Guilhem defended his thesis and got a PhD in Bioinformatics. Congratulations Guilhem!

04/22/2013 Mike successfully defended his MSc thesis.

04/09/2013 Konstantinos received the Lutchen Fellow Award.

04/01/2013 Yushan successfully defended her PhD thesis.

07/25/2012 Hybrid Systems Computation and Control (HSCC 2013) is now accepting submissions (website)

07/18/2012 Morteza defended his PhD thesis titled "Formal Verification and Control of Discrete-Time Stochastic Systems" and became Dr. Lahijanian!

05/02/2012 NSF Workshop on Formal Composition of Motion Primitives (organizers Aaron Ames and Calin Belta), June 12, MIT (one day before WAFR) (website and registration)

03/23/2012 Yushan got the CISE First Prize at the BU Science Day for her work on Robot Motion Control based on Automata Learning of Environmental Dynamics

03/23/2012 Alphan got the CISE Honorable Mention at the BU Science Day for his work on Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

03/05/2012 Calin will co-chair HSCC 2013 with Franjo Ivancic, NEC Labs

02/01/2012 Calin is an invited plenary speaker at HSCC 2012, Beijing, China, April 17, 2012

09/20/2011 New Emerging Frontiers NSF grant on TLR network and the innate immune response (NSF release)

07/25/2011 Yushan successfully defended her PhD prospectus titled Automatic Synthesis of Distributed Control and Communication Schemes

06/15/2011 Batcopter makes headlines (Discovery News, Discover Magazine, IEEE Spectrum, Popular Science)

06/10/2011 HyNeSs Lab is awarded an AFOSR DURIP grant to design and build a team of robotic flying vehicles (Press release from DoD)

05/31/2011 Guilhem passes the Bioinformatics PhD qualifier exam

05/20/2011 BU-led ONR MURI project on Microbial Robotics (Press release from DoD, BU Engineering article)

04/04/2011 Robotics research in the HyNeSs lab featured by Channel 5 evening news (Channel 5, BU ME news)

12/06/2010 Boyan successfully defended his PhD thesis titled A Formal Framework for Analysis and Design of Synthetic Gene Networks

11/08/2010 Yushan got the Best Student Paper Award at DARS 2010 for the paper "A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment"

09/03/2010 NSF award on learning and control in distributed cyber-physical systems (CPS) CPS (award abstract)

08/10/2010 Deep Epistasis in Human Metabolism is the most downloaded Chaos article in July 2010 (web link)

07/23/2010 Science Daily: Cancer-Metabolism Link Runs Deep in Humans, Novel Algorithm Suggests (see article)

07/19/2010 MURI project on animal-inspired robust flight - collaboration with labs from the University of Washington, the University of Maryland, and the University of North Carolina, Chapel Hill (Press release from DoD)