Dr. Fu’s research centers on the theory of and algorithms for synthesizing correct-by-construction autonomous systems through integrated formal methods, learning, control, and game theory. Her research interests include: control theory, formal methods, game theory, with applications to robotic systems and cyber-physical systems.