I am a PhD candidate in Department of Computer Science at Columbia University, working with Professor Junfeng Yang. My Resume is here.

My current research focuses on reliability of concurrent software systems. In general I'm interested in program analysis, formal methods, distributed systems, etc.