Ravi Mangal

Carnegie Mellon University

  • Joined July 2019

Names

Ravi Mangal

Emails

****@andrew.cmu.edu (Confirmed)

Personal Links

Education & Career History

Postdoc
Carnegie Mellon University (cmu.edu)
2021 – Present
 
PhD student
Georgia Institute of Technology (gatech.edu)
2012 – 2020
 

Advisors, Relations & Conflicts

Postdoc Advisor
2021 – Present
 
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