Assistant Professor
Computer Science
Purdue University
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!
ben delaware
research
students
cv
teaching
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