Benjamin J. Delaware
Assistant Professor of Computer Science
Professor Delaware's research focuses on the design and implementation of programming languages and the development of tools that provide higher assurance with lower effort through the use of mechanized theorem provers.
Joined department: Fall 2016
Research Areas
Education
Ph.D., The University of Texas at Austin, Computer Science (2013)
MSc, Washington University in St. Louis, Computer Science (2007)
B.S., Truman State University, Computer Science (2005)
Professor Delaware's research focuses on the design and implementation of programming languages and the development of tools that provide higher assurance with lower effort through the use of mechanized theorem provers.