Stephen Westfold

Dr. Westfold’s main research interest has been the semi-automatic generation of efficient software from specifications. He was one of the main developers of the CHI knowledge-based programming system at Kestrel Institute, the REFINE software design and synthesis environment at Reasoning Systems, and KIDS (Kestrel Interactive Development System), a state-of-the-art formal software development environment. Dr. Westfold is one of the main developers of the Specware system for specification and program refinement. Recently he has worked on designing and implementing a transformation system within Specware, and an integration with Isabelle/HOL to allow the discharge of proof obligations that arise during specification and refinement in Specware. He received a Ph.D. in Computer Science from Stanford University in 1984.