Brief Bio

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 for the design and analysis of 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. Prior to joining the University of Colorado Boulder, Ashutosh worked as an assistant professor of computer science at the Indian Institute of Technology Bombay. He has spent time as a research fellow at a number of institutions such as University of Pennsylvania and the University of Oxford.

Ashutosh lives in Erie, Colorado with his wife and their three children.