Ravi Mangal

I am a 7th year PhD student in the School of Computer Science at Georgia Tech, fortunate to be advised by Dr. Alex Orso. I previously worked with Dr. Mayur Naik. My email address is ravi DOT mangal AT gatech DOT edu and my CV is available here.

Research Interests

I am fascinated by the mathematical study of programming languages, and interested in all aspects of this study. In particular, I focus on automated approaches for analyzing program correctness, and combining these with statistical techniques.

Conference Papers:

Technical Reports:

Last updated on 8th January, 2019