Ravi Mangal
Ravi Mangal
Assistant Professor, Colorado State University
Joined
July 2019
Names
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
Expertise
adversarial examples
, robustness
, safety of neural networks
Present
formal methods
, program verification
, programming languages
Present
interpretability
, explainability of neural networks
Present
LLMs and agents for coding
Present
Publications
Co-Authors
- Aditya Kamath
- Aditya V. Nori
- Alessandro Orso
- Anirban Roy
- Anupam Datta
- Aymeric Fromherz
- Beidi Chen
- Boyue Caroline Hu
- Bryan Parno
- Calum Imrie
- Chi Zhang
- Christopher Watson
- Corina Pasareanu
- Corina S. Pasareanu
- Divya Gopinath
- Genaína Nunes Rodrigues
- Gricel Vázquez
- Haizhong Zheng
- Hongseok Yang
- Huafeng Yu
- Huanfeng Yu
- James Song
- Jingxuan He
- Kai Hu
- Kartik Sarangmath