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. Current News Prof. Spafford Receives Kristian Beckman Award