Title
Associate Professor
Education
Ph.D. in Computer Science (2013), University of Illinois at Urbana-Champaign
Research Areas
Programming Systems, including program logics, decision procedures, automated deduction, program verification, and program synthesis
Notable Awards
NSF CAREER Award (2021)
Publications
https://scholar.google.com/citations?user=xGHVK6sAAAAJ&hl=en
