Title
Assistant Professor
Education
PhD, University of Texas at Austin; MSc, Washington University in St. Louis
Prior Appointments
Research Scientist at MIT
Research Areas
Program synthesis and verification, Mechanized reasoning, Verified systems software, Decision procedures, Advanced modularity
Key Areas
Formal Methods, Programming Languages
Notable Awards
College of Science Team Award (w/ Roopsha Samanta and Tiark Rompf) 2019
Purdue University
James C. Browne Graduate Fellowship 2013
University of Texas at Austin
MCD Doctoral Fellowship 2007-2010
University of Texas at Austin
Dean's Excellence Award, College of Natural Sciences 2007
University of Texas at Austin
Distinguished Master's Fellowship 2005-2006
Washington University in St. Louis
Phi Beta Kappa 2004
Truman State University
Presidential Leadership Scholarship 2001-2005
Truman State University
Publications
https://www.cs.purdue.edu/homes/bendy/research.html
Biography
Benjamin Delaware is an assistant professor at Purdue University’s Department of Computer Science. His research focuses on the design and implementation of programming languages and tools that provide higher assurance with lower effort through the use of mechanized theorem provers.
He received his Ph.D. in Computer Science from the University of Texas at Austin in 2013 under the direction of William Cook. Dr. Delaware then spent two years as a Research Scientist in the Programming Languages & Verification Group at MIT.