Experience
Education
Bio
My research focuses on applying formal methods to analyze and verify neural networks and debug software programs. Specifically, I have developed approaches that provide robustness guarantees, generate adversarial attacks, and explain the behavior of deep neural networks, and provide solutions to locate faulty statement(s) in code and repair programs to function as expected.