Office: Computer Science Building 372
Phone: (970) 491-8838
Website: https://www.cs.colostate.edu/ravimangal/
Google Scholar: https://scholar.google.com/citations?user=5OFQ4A8AAAAJ&hl=en
Education
- Ph.D. Computer Science, Georgia Tech, 2020
- M.S. Computer Science, Georgia Tech, 2012
- B.Tech. Information Technology, VJTI, Mumbai, 2010
About
I am interested in developing formal methods for analyzing the correctness and safety of software systems. I currently focus on developing formal methods for Trustworthy Machine Learning , i.e., for safety, robustness and explainability analysis of machine learning models as well as formal safety analysis of systems with such learning-enabled components.
