Benjamin J. Delaware

简介

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.