Experience
Education
Bio
My research mainly focuses on combating bugs in cloud systems, but I'm generally interested in any problems related to helping develpors deliver dependable software programs.