I am a Post-Doctoral researcher in CMU Cylab hosted by Dr. Corina Pasareanu. I graduated with a PhD from the School of Computer Science at Georgia Tech in 2020. [rmangal@andrew.cmu.edu] [CV] [Google Scholar]

Research Interests:
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 learnt models as well as formal safety analysis of systems with such learning-enabled components.

I will be starting as an Assitant Professor in the Department of Computer Science at Colorado State University in Fall 2024. If you are interested in topics related to my research and would like to collaborate or work with me, feel free to reach out!
[Research Statement]

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