I am an assistant professor in the Department of Computer Science at Colorado State University. I was a post-doctoral researcher in CMU Cylab hosted by Dr. Corina Pasareanu and graduated with a PhD from the School of Computer Science at Georgia Tech.
[CSB 372] [ravi.mangal@colostate.edu] [CV] [Google Scholar]

Research Interests:
I am interested in analyzing the safety and security of software systems using formal methods. I focus on evaluating and improving the trustworthiness, i.e., safety, security, and interpretability, of AI-enabled systems such as coding assistants and robots. Read my (slightly outdated) research statement for more details.

Prospective Students:
I am always open to interacting and supervising students who are interested in or curious about topics related to my research. Feel free to send me an email outlining your interests or drop by my office!

Teaching:
CS 580B1: Trustworthy Machine Learning (Fall 2024)
CS 454: Principles of Programming Languages (Spring 2025)

Students:
Ronaldo Canizales (PhD)
William Scarbro (PhD; Co-advised with Sanjay Rajopadhye)
Harshit Singh (MS)
Md Abdul Hannan (MS)
Hasan Najib Mahmud (MS)
Davis Davalos-DeLosh (Student Researcher)

Papers:
(* indicates equal contribution, (#) indicates alphabetical ordering)