|
| Contact |
| e-mail: |
 |
|
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.