Ashutosh Trivedi (Preferred)
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
Publications
Co-Authors
- Abhay Singh Rajput
- Abolfazl Lavaei
- Aistis Simaitis
- Ajith K. John
- Alireza Nadali
- Alvaro Velasquez
- Amin Falah
- Andre Beckus
- Anirudh Maiya
- Ankush Das
- Anshul Gupta
- Antoine Durand-Gasselin
- Ashish Kumar
- Ashutosh Gupta
- Aviral Kumar
- Behrouz Touri
- Benjamin Monmege
- Bharath Kumar Padarthi
- Bingzhuo Zhong
- Bor-Yuh Evan Chang
- Dananjay Srinivas
- Daniel Ajeleye
- Devendra Bhave
- Diptikalyan Saha
- Dominik Wojtczak