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”
05/01/25: Wei Xiao will start a tenure-track faculty position at WPI in Fall 2025. Congratulations Wei!
04/17/25: Max Cohen accepted a tenure-track faculty position at North Carolina State University. Congratulations Max!
02/1/25: Calin is the general chair of the Maryland Robotics Center (MRC) symposium scheduled for May 1-2, 2025 (website)
09/1/24: New NSF EFRI grant in collaboration with MIT, U Chicago, and U Delaware: BEGIN OI “Teaching non-brain organoids how to think: PRogrammable OrGanoid intElligence using neuronal Networks implemented by gene Circuits (PROGENIC)
03/15/24: Calin and Antoine Girard will teach an EECI course “Formal Methods in Control Design: Abstraction, Optimization, and Data-driven Approaches” in Leuven, Belgium, May 27-31, 2024 (see flier for more information, follow this link for registration – select M11)
03/01/24: Calin will be a keynote speaker at ICRA 2024, Yokohama, Japan link
02/26/24: Wenliang Liu defended his PhD thesis and moved on to a position at Amazon