Portrait
about
I'm currently looking 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 07] New Draft: Subsidiary Recursion in Coq
[Jan 04] Teaching Graduate Programming Languages this spring
[Oct 20] Elrond wins a distinguished artifact award at OOPSLA 2021!
[Sep 29] Oblivious ADTs conditionally accepted to POPL 2022!
news