Registered user since Thu 5 May 2016
I am a professor with the Manning College of Information and Computer Sciences at the University of Massachusetts. My research interests include software fairness, software self-repair, and formal verification. I received my PhD from the University of Southern California, and was a postdoc at the University of Washington. I am a recipient of the NSF CAREER Award, the SEAMS Most Influential (test of time) Paper Award, the IEEE Computer Society TCSE New Directions Award, the IEEE TCSC Young Achiever in Scalable Computing Award, five Best and Distinguished Paper Awards, a Google Inclusion Research Award and a Google Faculty Research Award, an Amazon Research Award, and a Microsoft Research Software Engineering Innovation Foundation Award. Learn about my most recent work here: https://www.youtube.com/embed/6M2Y3EG4fik
- Breakout groups on "Proposal writing", "Picking research problems and promoting your work", and "Working with students, Building your research team"
- Picking research problems and promoting your work
- Baldur: Whole-Proof Generation and Repair with Large Language Models
- Balancing the job: Work-life balance and research-teaching-service balance
- Panelist in Program Committee within the New Faculty Symposium-track
- Breakout groups on "Research productivity" and "Balancing the job: Work-life balance and research-teaching-service balance"
View general profile