Lecturer

I am lecturer at the University of Stuttgart Institute of Flight Mechanics and Control and an adjunct researcher of the University of Michigan Department of Aerospace Engineering. I obtained a doctorate in systems & control in 2019, an M.Sc. degree in Automation Engineering in 2016, and B.Sc. degrees in Aerospace Computer Engineering and Computer Science in 2014 and 2013, respectively.

My research is focused on mathematically provable correctness for autonomous vehicles. In particular, I'm interested in the connection between optimization and verification in dynamic nonlinear systems. My recent work includes sum-of-squares techniques for stability and reachability, stability in optimization-based control techniques, and dynamics of optimal control problems. With the advance of artificial intelligence and increasing complexity in autonomous vehicles, I'm interested in the combination of machine learning techniques with system theory in order to obtain algebraic and/or probabilistic results for correctness.