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 15] On the Haskell Symposium PC. Please submit!
[Jan 28] Co-Chairing Artifact Evaluation Committee @POPL'20
[Nov 27] To Appear: A Verified Protocol Buffer Compiler
[Nov 14] Revised Draft: Narcissus: Binary Decoder Synthesis
news