• Assistant Professor

• • Computer Science

    Purdue University

I'm always on the lookout for PhD students to collaborate with. If you're interested in program synthesis or verification, feel free to contact me and consider applying to Purdue CS!