My research interests lie in the intersection of control theory, dynamical systems and formal methods. I have a deep interest in the following topics:

Correct-by-construction synthesis of continuous controllers from temporal logic specifications.
Algorithms for falsification of interesting system properties, such as safety.
Application of formal synthesis, verification, and falsification to robotics applications of all kinds.