Name:Ashutosh Trivedi

Bio:

Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder. His research lies at the intersection of formal methods, machine learning, and control theory, with a particular focus on the design and analysis of trustworthy and safety-critical learning-enabled systems and reinforcement learning.

He received his PhD in Computer Science from the University of Warwick, where his doctoral research focused on game theory and optimization. Before joining CU Boulder, he was an Assistant Professor of Computer Science at the Indian Institute of Technology Bombay and held postdoctoral research positions at the University of Pennsylvania and the University of Oxford.

Ashutosh is a recipient of the 2022 NSF CAREER Award and a Royal Society Wolfson Visiting Fellowship at the University of Liverpool.

Country:United States

Affiliation:University of Colorado Boulder

Research interests:Formal Methods, Reinforcement Learning, Software Engineering