Published: Oct. 7, 2019

Join Spas Angelov, Maria Marquez, and Perrin Ruth on the first live show of this Academic Year to discuss about exciting STEM research conducted at the University of Colorado. Participate by e-mailing a question to In this show, Dr. Trivedi will discuss some issues related to the lack of robustness and correctness guarantees with learning-enabled systems, and will discuss how research efforts in “formal methods” based verification and validation techniques can be leveraged to build trust in the next generation of learning enabled systems. Live Signal Link: Missed a show? No problem! Check out our website: