next up previous
Next: About this document ... Up: Formal Models of Process Previous: References

4 Biography

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