Name:	Dr J Sanders
Organisation:	University of Oxford
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/L23260/01 A PROBABILISTIC FORMAL METHOD (P) GR/L43121/01 DUALITY THEORY AND THE FOUNDATIONS OF SYSTEM DEVELOPMENT (P) GR/J46647/01 SPECIFICATION AND RIGOROUS DEVELOPMENT OF PROBABILISTIC SYSTEMS (P) GR/E09108/01 SOFTWARE ENGINEERING (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator