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:
I am fascinated by the perspective on computation offered by programming languages theory. In my research, I think about program verification algorithms, i.e., algorithms that search for formal proofs (or counterexamples) of program "correctness". My current research focuses on verifying safety and robustness of systems which incorporate learned neural networks as components.

Draft Papers:
Selected Published Papers:
(all papers)
Dissertation: