Cohere For AI - Guest Speaker: Ravi Mangal, Researcher at CMU Cylab

Bio: Ravi Mangal is a postdoctoral researcher at Carnegie Mellon University in the Security and Privacy Institute (CyLab). He graduated with a PhD in Computer Science from Georgia Institute of Technology in 2020. He is interested in all aspects of designing and applying formal methods for assuring the correctness and safety of software systems. His current research focuses on developing algorithms and methodologies for formally analyzing the safety and trustworthiness of learning-enabled systems.

Link to paper: "Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study" https://arxiv.org/abs/2302.04634

Ravi's webpage: https://www.andrew.cmu.edu/user/rmangal/

Add event to calendar

Apple Google Office 365 Outlook Outlook.com Yahoo