Name:	Professor K Bennett
Organisation:	Durham, University of
Department:	Engineering and Computing Sciences
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/G057516/1 Adaptive Co-ordinated Emergency Response to Rapidly Evolving Large-Scale Unprecedented Events (REScUE) (C) EP/D036852/1 SOSoRNet: Service-Oriented Software Research Network (C) GR/R51971/01 IBHIS: Information Broker for Hetergeneous Information Sources (P) GR/R19625/01 Isen: Interdisciplinary Software Engineering Network (C) GR/M02552/02 SOFTWARE ENGINEERING AND INFORMATION SYSTEMS NETWORK FOR IMPROVED BUSINESS PROCESSES (C) GR/M02538/01 CARD: INTEGRATION OF COMPUTER-AIDED ROLL DESIGN (C) GR/M02552/01 SOFTWARE ENGINEERING AND INFORMATION SYSTEMS NETWORK FOR IMPROVED BUSINESS PROCESSES (C) GR/L42568/01 FLEXX: FLEXIBLE SOFTWARE TO SUPPORT THE BUSINESS PROCESS (P) GR/L42575/01 SABA: SOFTWARE AS A BUSINESS ASSET (P) GR/K79130/01 SUBTYPING, INHERITANCE AND REUSE: DEVELOPING EXPRESSIVE TYPE THEORY FOR FORMAL ANALYSIS (C) GR/J18682/01 SAFETY CRITICAL REVALIDATION IN THE PROCESS INDUSTRY - IED4/1/9317 (P) GR/J22610/01 TEACHING COMPANY SCHEME WITH PUBLIC ACCESS TERMINALS LTD UNIVERSITY OF DURHAM (P) GR/G57468/01 A PROOF THEORY FOR PROGRAM REFINEMENT AND EQUIVALENCE:EXTENSIONS (P) GR/G54030/01 TRAVEL GRANT TO UNIVERSITY OF MARYLAND, U.S.A. (P) GR/F78330/01 A MODEL OF PERFECTIVE MAINTENANCE FOR NEW SOFTWARE (P) GR/F37542/01 FROM ASSEMBLER TO Z USING FORMAL TRANSFORMATIONS (P) GR/F35555/01 REGRESSION TESTING - METRICS AND MODELS (C) GR/F38563/01 CONSENSUS - METHODOLOGICAL ISSUES IN THE DESIGN OF PARALLEL CO-OPERATING KNOWLEDGE-BASED SYSTEMS (C) GR/E39006/01 AN INTELLIGENT KNOWLEDGE -BASED APPROACH TO SOFTWARE MAINTENANCE (P)

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