Introducing Command R+: Our new, most powerful model in the Command R family.

Learn More

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


Date: May 14, 2024

Time: 3:00 PM - 4:00 PM

Location: Online

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"

Ravi's webpage:

Add event to calendar

Apple Google Office 365 Outlook Yahoo