Portrait
about
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!

  • Address:

    • 305 N. University Street

    • Purdue University

    • West Lafayette, IN 47907

  • bendy at purdue.edu
contact
[May 5] Honored to receive an NSF CAREER award!
[Apr 4] Clouseau to appear at PLDI 2026!
[Oct 12] KestRel wins a Distinguished Artifact Award at OOPSLA 2025!
[Sep 26] SynVer accepted to ASE 2025!
[Aug 13] Coverage-Type-Guided Synthesis to appear at OOPSLA 2025!
news