Ravi Mangal

Assistant Professor, Colorado State University

  • Joined July 2019

Names

Ravi Mangal

Emails

****@andrew.cmu.edu (Confirmed)
,
****@gatech.edu (Confirmed)
,
****@gatech.edu (Confirmed)
,
****@colostate.edu (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Colorado State University (colostate.edu)
2024 – Present
 
Postdoc
Carnegie Mellon University (cmu.edu)
2021 – 2024
 
PhD student
Georgia Institute of Technology (gatech.edu)
2012 – 2020
 

Advisors, Relations & Conflicts

Postdoc Advisor
2021 – 2024
 
PhD Advisor
2017 – 2020
 

Expertise

adversarial examples, robustness, safety of neural networks
Present
 
formal methods, program verification, programming languages
Present
 
interpretability, explainability of neural networks
Present
 
LLMs for coding
Present