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 24] Coverage Types conditionally accepted to PLDI 2023!
[Feb 24] Taype conditionally accepted to PLDI 2023!
[Nov 8] Subsidiary Recursion conditionally accepted to POPL 2023!
[Sep 1] RHLE: Verifying ∀∃-Properties to appear @APLAS'22
news