People

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)