EPSRC logo
Researcher Details
 
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