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
[Apr 11] New Draft: KestRel: Relational Verification Using E-Graphs
[Apr 1] HATs conditionally accepted to PLDI 2024!
[Feb 24] Taypsi accepted to OOPSLA 2024!
[May 15] Coverage Types recognized as a distinguished paper!
news