I am a doctoral researcher in the Nonlinear Systems and Control group at Aalto University, advised by Prof. Shankar Deka and funded by the Intelligent Work Machines (IWM) doctoral program. My research lies at the intersection of control theory and formal methods, and aims to make autonomous systems trustworthy in safety-critical settings by designing control policies that are not only effective but also come with formal guarantees of safety, stability, and robustness.

More concretely, my work focuses on formal verification and provable controller synthesis for nonlinear dynamical systems, in particular for systems operating in uncertain environments, with applications to safety-critical cyber-physical systems such as robots and autonomous vehicles.