Ashutosh Trivedi
Ashutosh Trivedi
Associate Professor, Computer Science, University of Colorado at Boulder
- Joined July 2019
Names
Emails
****@colorado.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science, University of Colorado at Boulder (colorado.edu)
2023 – Present
Assistant Professor
Computer Science, University of Colorado at Boulder (colorado.edu)
2017 – 2023
Advisors, Relations & Conflicts
Expertise
Reinforcement Learning
Present
Formal Methods
Present
Automata Theory and Logic
Present
Cyber Physical Systems
Present
Software and AI
Present