Name:	Mr G Gough
Organisation:	University of Manchester, The
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/G062412/1 The 2009 UK Schools Computer Animation Competition (C) GR/M05744/01 REASONING ABOUT RAINBOW: DESIGN AND VERIFICATION SUPPORT FOR ASYNCHRONOUS DIGITAL SYSTEMS (C) GR/L54516/01 CAMELOT: AN ADAPTABLE KNOWLEDGE MANAGEMENT SYSTEM FOR LOOSELY STRUCTED DATA (C) GR/K42073/01 APPLICATION SPECIFIC VERIFICATION TECHNIQUES FOR HIERARCHICAL ASYNCHRONOUS DIGITAL DESIGN (C) GR/F38174/01 FORMAL VERIFICATION SUPPORT FOR ELLA (C) GR/F30123/01 METATEM: A FRAMEWORK FOR TEMPORAL LOGIC PROGRAMMING (C) GR/F36552/01 TEMPOPRAL DATABASES AND PLANNING (C)

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