Ashutosh Trivedi is an assistant research 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 lies 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 was awarded the Liverpool-India fellowship in 2014 and has received the HSCC best- paper award during the cyber-physical systems week in 2012.
Ashutosh lives in Boulder, Colorado with his wife and their three children.