Ravi Mangal

Carnegie Mellon University

Names

Ravi Mangal

Emails

****@andrew.cmu.edu

Education & Career History

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

Advisors, Relations & Conflicts

Postdoc Advisor
2021Present
 
PhD Advisor
20172020
 

Expertise

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