Name:	Dr J Bradfield
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/G012962/1 Solving Parity Games and Mu-Calculi (P) EP/E009069/1 Copy of Copy of Symposium in Honour of Gordon Plotkin (C) GR/R93339/01 Computer Science Logic 2002 (P) GR/R16891/01 Logic For Uml (P) GR/A00690/01 AF: FIXPOINTS AND CAUSALITY (P) GR/M84763/01 DIMENSIONS OF CONCURRENCY (P) GR/K68547/01 THE VALUE-PASSING CONCURRENCY WORKBENCH (C) GR/H16056/01 VERIFICATION OF INFINITE STATE SYSTEMS-THEORY METHOD AND APPLICATIONS (C)

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