Category: Uncategorized

HSCC 2013 is now accepting submissions

July 25th, 2012 in Uncategorized

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

Morteza defended his PhD thesis

July 18th, 2012 in Uncategorized

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

May 2nd, 2012 in Uncategorized

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

April 6th, 2012 in Uncategorized

Ana successfully defended her PhD prospectus. Congratulations Ana!

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

March 23rd, 2012 in Uncategorized

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

March 23rd, 2012 in Uncategorized

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

March 5th, 2012 in Uncategorized

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

Calin is an invited plenary speaker at HSCC 2012

February 1st, 2012 in Uncategorized

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

New Emerging Frontiers NSF grant

September 20th, 2011 in Uncategorized

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

Yushan successfully defended her PhD prospectus

July 25th, 2011 in Uncategorized

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