People


calin_web

Calin Belta

Position: Professor, Mechanical Engineering, Systems Engineering, Bioinformatics
Email: cbelta at bu dot edu
Website: http://hyness.bu.edu/calin


Demarcus

Demarcus Briers

Position: PhD Student, Bioinformatics
Email: dbriers at bu dot edu


Joe

Giuseppe Bombara

Position: PhD Student, Electrical and Computer Engineering
Email: gbombara at bu dot edu


iman

Iman Haghighi

Position: PhD student, Systems Engineering
Email: haghighi at bu dot edu


Xiao Li

Xiao Li

Position: PhD student, Mechanical Engineering
Email: xli87 at bu dot edu


Noushin Mehdipour

Position: PhD Student, Systems Engineering
Email: noushinm at bu dot edu


francisco

Francisco Penedo Álvarez

Position: PhD student, Systems Engineering
Email: franp at bu dot edu


Zackary Serlin

Position: PhD student, Mechanical Engineering
Email: zserlin at bu dot edu

 

junmin

Junmin Wang

Position: PhD student, Bioinformatics
Email: dawang at bu dot edu


Former Members

PhD Students:

Sadra Sadraddini, Mechanical Engineering, 2013 – 2017, 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 a postdoc at MIT)

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 Researchers:

Curtis Madsen 2015 – 2018

Yao Ma 2016 – 2018

Janos Rudan 2015 – 2017

Derya Aksaray 2014 – 2016 (now an Assistant Professor at the University of Minnesota)

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)