Name:	Professor WML Holcombe
Organisation:	University of Sheffield
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/I030654/1 Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework (P) EP/F065825/1 Reverse Engineering State Machine Hierarchies by Grammar Inference (REGI) (C) EP/D031516/1 Sheffield Software Engineering Observatory (P) EP/D002540/1 MASSING: Multi-Agent Search Strategies in Natural Groups (P) EP/C511883/1 Automated abstraction of code into a state-based specification and test generation (C) GR/S62338/01 The Epitheliome: computational modelling of epithelial tissue (C) GR/S62321/01 The Epitheliome: computational modelling of epithelial tissue (C) GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST) (C) GR/M56777/01 MOTIVE: METHOD FOR OBJECT TESTING, INTERGRATION AND VERIFICATION (C) GR/M56586/01 THE CYTOCOM NETWORK - EMERGING CYTOCOMPUTATIONAL SYSTEMS (C) GR/L86180/01 LAX LOGIC APPLIED TO FORMAL SYSTEM DESIGN (C) GR/L93409/01 IPCAT 97 (P) GR/H73585/01 STRATEGIC PLANNING AND OPERATIONS CONTROL FOR COMPLEX MIXED-MODE SYSTEMS (C) GR/F34343/01 FUNCTIONAL TEST SET GENERATION FOR HIGH-INTEGRITY VLSISYSTEMS (P)

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