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

AWE

W. Ifill