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] [LinkedIn] [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.

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