Ashutosh Trivedi. Associate Professor of Computer Science. Email: ashutosh.trivedi @ colorado.edu. Web: Home , Twitter, Google Scholar, DBLP, ResearchID, ...
Ashutosh Trivedi
Affiliation: University of Colorado, Boulder
Research interests: Formal methods, Reinforcement Learning, and Automata Theory and Logic
His research focuses on developing and applying rigorous mathematical reasoning techniques to design and analyze learning-enabled cyber-physical systems. He ...
Ashutosh Trivedi. Associate Professor, University of Colorado at Boulder. Verified email at colorado.edu - Homepage · Formal methods ...
CS Doctoral Student and Research Assistant. University of Colorado, Boulder. Boulder, CO · Connect ...
Address : Department of Computer Science and Engineering, IIT Bombay, Powai, Mumbai 400 076, Maharashtra, INDIA. Phone: +91-22 ...
Professor Trivedi is incredibly passionate and really cares about the subject he teaches! He is very outreaching and tries to help as much as he can!