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 December 2020. [rmangal@andrew.cmu.edu] [CV] [me in 2015]

Research Interests:
In my research, I ask questions about what it means for software systems to be safe and correct, and develop techniques that can help formally verify whether systems meet such specifications. In recent years, I have particularly focused on questions about safety and robustness of systems which incorporate learned neural networks as components. This is an emerging research area that has come to be referred to as trustworthy machine learning . In all of my research, I am guided by the fascinating perspective offered by programming languages theory and formal methods.

Papers: