I am a postdoctoral associate with Sertac Karaman in the Laboratory for Information and Decision Systems (LIDS) at Massachusetts Institute of Technology (MIT).
I obtained my PhD in 2016 from the Division of Systems Engineering at Boston University, where I worked with Calin Belta in the Hybrid and Networked Systems (HyNeSs) Group of the BU Robotics Laboratory. I obtained a BS degree in Computer Science in 2009, a MEng in Intelligent Control Systems in 2011, and a second PhD in Systems Engineering in 2015, all from the Faculty of Automatic Control and Computers, Politehnica University of Bucharest.
My research interest include formal methods, motion and path planning, distributed
and decentralized control with applications to robotics, networked systems and systems biology.
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Persistent Vehicle Routing Problem with Temporal Logic and Charging Constraints
Time Window Temporal Logic
Translational and Rotational Invariance in Networked Systems
Sampling-Based Path Planning for Stochastic Systems with Distribution Temporal Logic
Data-driven Inference of Temporal Logic Specifications
Bio-Electrical Cell Networks