Name:	Dr PM Hill
Organisation:	University of Leeds
Department:	Sch of Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/P504228/1 DTA - University of Leeds (C) EP/G025177/1 Geometric Abstractions for Scalable Program Analyzers (R) EP/C520726/1 Numerical Domains for Software Analysis (P) GR/R53401/01 Escape Analysis of Object-Orientated Languages. (P) GR/M05645/01 SEMANTIC-BASED SOFTWARE SUPPORT FOR CONSTRAINT LOGIC PROGRAMS (P) GR/L19515/01 DECLARATIVE LANGUAGE INTERFACE FOR CONSTRAINT SOLVING (P) GR/K79635/01 DETECTING AND EXPLOITING DETERMINACY IN LOGIC PROGRAMS (P)

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