Ufuk Topcu is an associate professor at the University of Texas at Austin. His research focuses on the design and verification of autonomous systems at the intersection of controls, formal methods, and learning.