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

  • Email:

    bendy at purdue.edu
contact
[Feb 18] KestRel conditionally accepted to OOPSLA 2025!
[Dec 1] New Draft: Property-Guided Bug-Finding with PATs
[Sep 15] Proof Automation with LLMs accepted to ASE 2024!
[Apr 1] HATs conditionally accepted to PLDI 2024!
news