Ashutosh Trivedi is an assistant professor of computer science at the University of Colorado Boulder. His research interests lie at the intersection of computer science, control theory, and machine learning. His research focuses on developing and applying rigorous mathematical reasoning techniques to design and analyze learning-enabled cyber-physical systems. He received his doctorate in computer science with a focus on game theory and optimization from the University of Warwick. Before joining the University of Colorado Boulder, Ashutosh worked as an assistant professor of computer science at the Indian Institute of Technology Bombay and a postdoctoral research associate at the University of Pennsylvania and the University of Oxford.