Benjamin J. Delaware
Assistant Professor of Computer Science
Joined department: Fall 2016
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.
Last Updated: Dec 4, 2020 1:55 PM