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