My research leverages control theory, formal methods, and machine learning to construct adaptive, provably correct cyber-physical systems with respect to complex specifications. The challenges I am currently interested in include: reactive robotic systems under partial information and modeling uncertainty, multi-robot coordination, optimal control of hybrid systems, and design of adaptive semi-autonomous systems.