Ashutosh Trivedi

Ashutosh Trivedi is an associate professor of computer science at the University of Colorado Boulder. He develops mathematical foundations and computational methods for intelligent systems whose behavior can be specified, verified, and explained. His research combines formal methods, reinforcement learning, game theory, and software analysis.

His work spans three connected themes: foundations of learning and decision-making; verification for learning and control; and accountable AI and software. Applications include safety-critical cyber-physical systems, medical devices, and software whose decisions have legal or societal consequences.

Trivedi received his doctorate in computer science from the University of Warwick. Before joining CU Boulder, he was an assistant professor at the Indian Institute of Technology Bombay and held postdoctoral research positions at the University of Pennsylvania and the University of Oxford.