Benjamin J Delaware

 Benjamin J Delaware

Title

Assistant Professor  

Department

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 Experience

NA 

Notable Awards

NA 

Notable Affiliations

NA 

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. 

Coming Up!

Our annual security symposium will take place on April 7th and 8th, 2020.
Purdue University, West Lafayette, IN

More Information