EPSRC logo
Researcher Details
 
Name: Dr J Porteous
Organisation: Durham, University of
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
GR/R55320/01 Identifying and Ordering Planning Landmarks(P)
GR/K73152/01 IMPROVING THE QUALITY OF FORMAL REQUIREMENTS SPECIFICATIONS USING MACHINE LEARNING TECHNIQUES(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator