I am a 4th year Ph.D. student in the Department of Computer Science at the University of Chicago. My research interests include, but not limited to, static/dynamic program analysis, software reliability especially in distributed systems.