I am a PhD candidate in the Utah Verification (UV) group at School of Computing. My research interests lie in the area of dynamic program analysis and formal verification of distributed systems via model checking and theorem proving. I am being supervised by Prof. Ganesh Gopalakrishnan.