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
[May 15] Coverage Types recognized as a distinguished paper!
[Apr 04] Coverage Types conditionally accepted to PLDI 2023!
[Apr 04] Taype conditionally accepted to PLDI 2023!
[Nov 8] Subsidiary Recursion conditionally accepted to POPL 2023!