Name:	Dr R Bradford
Organisation:	University of Bath
Department:	Computer Science
Current EPSRC-Supported Research Topics:	Fundamentals of Computing

Current EPSRC Support

EP/T015713/1 Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition (C)

Previous EPSRC Support

EP/J003247/1 Real Geometry and Connectedness via Triangular Description (C) GR/R84139/01 Accurate simplification of elementary functions (C) GR/K27957/01 A VIRTUAL MULTICOMPUTER (C) GR/F63183/01 CONCURRENT COARSE-GRAIN EXECUTION (C)

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