News

HSCC 2013 is now accepting submissions

Hybrid Systems Computation and Control (HSCC 2013) is now accepting submissions (website)

Morteza defended his PhD thesis

Morteza defended his PhD thesis titled “Formal Verification and Control of Discrete-Time Stochastic Systems with Applications in Robotics” and became Dr. Lahijanian!

NSF Workshop on Formal Composition of Motion Primitives

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

Ana successfully defended her PhD prospectus

Ana successfully defended her PhD prospectus. Congratulations Ana!

Alphan got the CISE Honorable Mention at the BU Science & Engineering Day

Alphan got the CISE Honorable Mention at the BU Science & Engineering Day for his work on Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints!

Yushan got the CISE First Prize at the BU Science & Engineering Day

Yushan got the CISE First Prize at the BU Science & Engineering Day for her work on Robot Motion Control based on Automata Learning of Environmental Dynamics!

Calin will co-chair HSCC 2013

Calin will co-chair HSCC 2013 with Franjo Ivancic, NEC Labs.

Calin is an invited plenary speaker at HSCC 2012

Calin is an invited plenary speaker at HSCC 2012, Beijing, China, April 17, 2012.

New Emerging Frontiers NSF grant

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

Yushan successfully defended her PhD prospectus

Yushan successfully defended her PhD prospectus titled Automatic Synthesis of Distributed Control and Communication Schemes!