Experience
Education
Bio
My main research interests are in software engineering, formal methods, and systems with focus on improving software quality and developers' productivity. I have been working on software testing (test generation and regression testing), proof engineering, and systems-supported software engineering. My research has been supported by Google, Huawei, NSF, Runtime Verification, and Samsung.