Dynamics, control theory, game theory, systems, and formal methods with applications in robotics, particularly motion planning, strategy synthesis, model checking, hybrid systems, and human-robot interaction.
My main research theme is safety and soundness, and the emphasis is on safe automation through correct-by-construction algorithmic approaches; integrating control theory and formal methods to form powerful frameworks that enable autonomy in achieving complex tasks through high-level decision making with the awareness of low-level complexities and constraints of the physical system.
