GradNova

A

Ashutosh Trivedi

Associate Professor

Computer Science, University of Colorado Boulder

Research Interests

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Machine Learning and Algorithms

Reinforcement Learning in Robotics

Academic Metrics

Links

Grants