My research interests include control theory, formal methods, and machine learning (including reinforcement learning), with applications on autonomous systems and cyber-physical systems.