Next: About this document ...
Up: Formal Models of Process
Previous: References
Peter Henderson is Professor of Computer Science in the
Department of Electronics and Computer Science at the
University of Southampton in the UK. Prior to his move to
Southampton in 1987 he was Professor at the University of
Stirling. Henderson is also an ICL Fellow. He is head of the
Declarative Systems and Software Engineering Research Group
(see http://www.dsse.ecs.soton.ac.uk/) which combines research
interests in Software Engineering, Formal Methods and Programming
Languages. His own research includes executable specifications,
component-based systems and process modelling. Currently
Henderson is national co-ordinator for an EPSRC (Engineering and Physical
Sciences Research Council) research
programme entitled Systems Engineering for Business Process
Change which has a legacy systems, COTS, component-based
theme within it.
Peter Henderson
Sep. 12 1997