Directory Page
Office: Computer Science Building 372
Phone: 9704918838
Education:
- Ph.D. Computer Science, Georgia Tech, 2020
- M.S. Computer Science, Georgia Tech, 2012
- B.Tech. Information Technology, VJTI, Mumbai, 2010
Website: https://ravimangal.github.io/
Google Scholar: View Google Scholar Profile
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.
Department Contact Details
Map
279 Computer Science Building
1873 Campus Delivery
Fort Collins, Colorado 80523-1873In-person Hours
In-person Hours:
Mon - Fri: 8:00a - 4:45pTelephone
Telephone: 970-491-6512Email
Email: compsci_info@colostate.edu
Stay Connected
Youtube
© Colorado State University - College of Natural Sciences, Fort Collins, CO 80523
