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
[May 16] Teaching Undergrad Programming Languages this fall
[May 01] New Draft: Learning Generators of Buggy Inputs
[Feb 07] New Draft: Subsidiary Recursion in Coq
[Sep 29] Oblivious ADTs conditionally accepted to POPL 2022!
news