Ravi Mangal

I am a PhD student in the School of Computer Science at Georgia Tech advised by Alex Orso.
[rmangal3@gatech.edu] [CV]

Research Interests

I am fascinated by the mathematical study of programming languages and interested in all aspects of this study. In particular, I think about algorithmic approaches for proving program correctness and combining these with statistical techniques.

Draft Papers:

Conference Papers:

Workshop Papers and Talk Abstracts:

Technical Reports: