Name:	Professor A Edalat
Organisation:	Imperial College London
Department:	Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/S31396/01 Domain-theoretic Solution of Differential Equations (P) GR/L43077/01 EXACT REAL NUMBER COMPUTATION USING LINEAR FRACTIONAL TRANFORMATIONS (P) GR/L77171/01 APPLICATIONS OF EXACT REAL NUMBER COMPUTATION (P) GR/K93877/01 TECHNIQUES OF REAL NUMBER COMPUTATION (P) GR/L21754/01 PROGRAMMING LANGUAGES FOR EXACT REAL NUMBER COMPUTATION: THEORY AND IMPLEMENTATION (P) GR/K54663/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE (C) GR/K41564/01 CONSTRUCTIVE APPROXIMATION USING DOMAIN THEORY (P)

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