About
Benjamin Delaware is an Assistant Professor in the Department of Computer Science at Purdue University since 2016. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 2013 under William Cook and Don Batory, following an M.Sc. in Computer Science from Washington University in St. Louis (2007) and a dual B.S. in Computer Science and B.A. in Russian from Truman State University (2005).
- Research focuses on program synthesis, formal verification, and relational program properties.
- Key contributions include KestRel (relational verification), PALM (LLM-assisted proof automation), and Clotho (distributed system testing).
His publications span top venues like OOPSLA, PLDI, and POPL, with recent work (2025) on coverage-type-guided synthesis and LLM-integrated proof repair. He has received multiple scientific awards, including a SIGPLAN Distinguished Paper Award (2023) and CRII Award from NSF (2018).
Ben advises a research group producing graduates such as Qianchuan Ye (now at SUNY Buffalo) and Kia Rahmani (UT Austin postdoc). He teaches graduate courses on program reasoning (CS560) and programming language design (CS456/CS565), with earlier teaching experience at UT Austin.
Active in academic service, he served as Program Committee Co-Chair for RocqPL 2026 and CoqPL 2025, and as Diversity, Equity, and Inclusion Chair at POPL 2023. His grants include NSF funding for input generator verification (2023-2026) and Cisco research on privacy-preserving computation (2022-2023).
