Scholar
Benjamin Delaware
Google Scholar ID: VS21MfgAAAAJ
Assistant Professor, Purdue University
Citations & Impact
Citations
425
H-index
12
i10-index
15
Publications
20
Co-authors
41
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - KestRel won a Distinguished Artifact Award at OOPSLA 2025.
- - SynVer accepted to ASE 2025.
- - Coverage-Type-Guided Synthesis to appear at OOPSLA 2025.
- - KestRel conditionally accepted to OOPSLA 2025.
Research Experience
- Serves as an Assistant Professor of Computer Science at Purdue University.
Background
- Ben Delaware is an Assistant Professor in the Computer Science department at Purdue University. He is interested in program synthesis or verification and welcomes students who are interested to contact him.
