POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Ashutosh Trivedi

Registered user since Fri 21 Jun 2024

Name:Ashutosh Trivedi
Bio:

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.

Country:United States
Affiliation:University of Colorado Boulder
Research interests:Formal Methods, Reinforcement Learning, Software Engineering

Contributions

Show activities from other conferences

Using general profile