RefineNet Partners

This is a historic list, not updated and links may no longer work.

Academic Partners

University of Sheffield
Prof. J. Derrick (PI)
University of Kent
Dr E. Boiten
University of Essex
Prof. M. Henson
Dr. N. Völker
Dr. A. Eden
University of Manchester
Dr R. Banach
University of Oxford
Dr J. Davies
University of Surrey
Prof. S. Schneider
Dr H. Treharne
University of Southampton
Prof. M. Butler
Dr M. Poppleton
University of York
Dr S. King
Prof. S. Stepney
Dr A. Cavalcanti
Prof. J. Woodcock

Industrial Partners

Escher Technologies Ltd
Dr D. Crocker
Formal Systems (Europe) Ltd
Dr M. Goldsmith
Praxis Critical Systems Ltd
Dr A. Hilton
W. Ifill

Web pages maintained by RefineNet webmaster