Ashutosh Trivedi is an assistant professor of computer science at the University of Colorado Boulder. He holds a Ph.D. in computer science 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, and as postdoctoral researcher at the University of Pennsylvania and the University of Oxford.
Ashutosh’s research interests lie at the intersection of computer science and control theory. His research focuses on applying rigorous mathematical reasoning techniques for the design and analysis of safe and secure cyber- physical systems.
Ashutosh lives in Boulder, Colorado with his wife and their three children.