People

Calin Belta
Position: Professor, Mechanical Engineering, Electrical and Computer Engineering, Systems Engineering, Bioinformatics
Email: cbelta at bu dot edu
Website: http://hyness.bu.edu/calin
Wenliang Liu
Position: PhD Student, Mechanical Engineering
Email: wliu97 at bu dot edu
Kasra Ghasemi
Position: PhD student, Mechanical Engineering
Email: kasra0gh at bu dot edu
Erfan Aasi
Position: PhD Student, Mechanical Engineering
Email: easy at bu dot edu
Suhail Alsalehi
Position: PhD student, Systems Engineering
Email: alsalehi at bu dot edu
Ahmad Ahmad
Position: PhD student, Systems Engineering
Email: alsalehi at bu dot edu
Former Members
PhD Students
Wei Xiao, Systems Engineering, 2017 – 2021, (now a postdoc at MIT)
Guang Yang, Systems Engineering, 2016 – 2020, Thesis: “Motion Planning and Control for Safety-critical Systems” (now working on his own LLC)
Noushin Medhipur, Systems Engineering, 2016 – 2020, Thesis: “Resilience for Satisfaction of Temporal Logic Specifications by Dynamical Systems” (now research scientist at Motional)
Zachary Serlin, Mechanical Engineering, 2016 – 2020, Thesis: “Distributed Formal Methods and Sensing for Autonomous Systems” (now technical staff, MIT Lincoln Laboratory)
Xiao Li, Mechanical Engineering, 2015 – 2020, Thesis: “A Formal Methods Approach to Interpretability, Safety and Composability For Reinforcement Learning” (now postdoctoral associate, MIT)
Francisco Penedo, Systems Engineering, 2015 – 2020, Thesis:
Giuseppe Bombara, Electrical and Computer Engineering, 2015 – 2020, Thesis:
Iman Haghighi, Systems Engineering, 2013 – 2018, Thesis: “Spatio-temporal logics for verification and control of networked systems” (now at Wayfair)
Junmin Wang, Bioinformatics, 2015 – 2018, Thesis: “Mathematical Models and Modular Composition Rules for Synthetic Genetic Circuits” (now at BioGen)
Demarcus Briers, Bioinformatics, 2015 – 2018, Thesis: “Mathematical Modeling for Pattern Formation in Networks of Mammalian Cells” (now at ReviveMed)
Sadra Sadraddini, Mechanical Engineering, 2013 – 2018, Thesis: “Formal Methods for Resilient Control” (now a Postdoctoral Researcher at MIT)
Kevin Leahy, Mechanical Engineering, 2012 – 2016, Thesis: “Multi-Agent Persistent Surveillance under Temporal Logic Constraints” (now at Lincoln Lab, MIT)
Cristian Ioan Vasile, Systems Engineering, 2012 – 2016, Thesis: “Motion Planning and Control: A Formal Methods Approach” (now an Assistant Professor, Lehigh University)
Austin Jones, Systems Engineering, 2011 – May 2015, Thesis: “Formal Methods Paradigms for Estimation and Machine Learning in Dynamical Systems” (now at Lincoln lab, MIT)
Ana Medina Ayala, Mechanical Engineering, 2009 – 2014, Thesis: “Formal methods for Motion Planning and Control in Dynamic and Partially Known Environments” (now at Jibo, Boston)
Igor Cizelj, Systems Engineering, BU, 2009 – 2013, Thesis: “Vehicle Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees” (now at AIR Worldwide)
Ebru Aydin Gol, Systems Engineering, 2010 – 2014, Thesis: “Formal Verification and Controller Synthesis for Discrete-Time Systems (now at Google)
Alphan Ulusoy, Systems Engineering, BU, 2010 – 2013, Thesis: “Optimal Temporal Logic Control of Autonomous Vehicles” (now at Mathworks)
Guilhem Richard, Bioinformatics, BU, 2009 – 2013, Thesis: “Affecting the macrophage response to infection by integrating signaling and gene regulatory networks” (now at EpiVax)
Yushan Chen, Electrical and Computer Engineering, BU, 2009 – 2013, Thesis: “Formal Synthesis of Control and Communication Schemes” (now at Orbeus)
Morteza Lahijanian, Mechanical Engineering, BU, 2006 – 2012, Thesis: “Formal Verification and Control of Discrete-Time Stochastic Systems with Applications in Robotics (now an Assistant Professor at the University of Colorado at Boulder)
Boyan Yordanov, Biomedical Engineering, BU, 2006 – 2010, Thesis: “A Formal Framework for Analysis and Design of Synthetic Gene Networks” (now at Microsoft Research, Cambridge, UK)
Marius Kloetzer, Systems Engineering, BU, 2004 – 2008, Thesis: “Symbolic Motion Planning and Control”, (now an Associate Professor at Technical Univ. of Iasi)
Postdoctoral Associates
Dogan Ulus 2018-2019
Curtis Madsen 2015 – 2017
Yao Ma 2016 – 2018
Janos Rudan 2015 – 2017
Derya Aksaray 2014 – 2016 (now at MIT)
Chanyeol Yoo, 2014 – 2016 (now at University of Sydney)
Zhaodan Kong, 2012 – 2014 (now an Assistant Professor at University of California, Davis)
Huili Yu, Sept. 2011 – Feb. 2012
Boyan Yordanov, Feb 2011 – Sept. 2011 (now a Researcher at Microsoft Research, Cambridge, UK)
Hyeygjeon Chang, Oct. 2010 – May 2011
Xu Chu (Dennis) Ding, Jan. 2010 – October 2011 (now a Research Engineer at United Technologies Research Center, USA)
Gregory Batt, 2005-2006 (now a Research Scientist at INRIA, France)