Assistant Professor
Research Classification
Research Interests
help developers improve the correctness, security, and performance of software systems
test-input generation
specification mining
program synthesis
Relevant Thesis-Based Degree Programs
If this is your researcher profile you can log in to the Faculty & Staff portal to update your details and provide recruitment preferences.
Membership Status
Member of G+PS