Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder, specializing in the development and application of formal methods for the design and analysis of safety-critical learning-enabled systems. He obtained his doctoral degree in computer science from the University of Warwick, with a specialization in game theory and optimization. Prior to his current position, Ashutosh served as an Assistant Professor of Computer Science at the Indian Institute of Technology Bombay. He also worked as a Postdoctoral Research Associate at the University of Pennsylvania and the University of Oxford. Ashutosh is a recipient of the 2022 NSF CAREER award and a Liverpool Fellowship. His research interests lie at the intersection of computer science, control theory, and machine learning, with a focus on formal methods and reinforcement learning.