EPSRC logo
Researcher Details
 
Name: Professor M Harrison
Organisation: Newcastle University
Department: Sch of Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/F01404X/1 Modelling and analysis of the interactive behaviour of ubiquitous systems(P)
GR/L53199/01 INQUISITIVE-INCREASING QUALITY OF USER INTERFACESFOR STRATEGIC INTERACTIVE TASKS IN VIRTUAL ENVIRONMENTS(C)
GR/K84752/01 INTERACTIVE CASE MEMORIES AS KNOWLEDGE MEDIATORS BETWEEN STRATEGIC PLANNERS AND SIMULATION SYSTEMS (ERCOS)(P)
GR/K09205/01 SUPPPORTING PLANNING, REFLECTION RE-USE IN THE INTERFACES TO THEOREM PROVING ASSISTANTS(P)
GR/J07686/01 EXPLOITING UTILITY AND RISK ASSESSMENTS DURING THE DESIGN OF MAN- MACHINE INTERFACES(P)
GR/J08836/01 FORMALISING SENARIOS IN THE DESIGN VALIDATION AND CERTIFICATION OF INTERACTIVE SAFETY CRITICAL COMP SYST(P)
GR/F35708/01 SPECIFYING AND DEPICTING CONCURRENT BEHAVIOUR HYPERMEDIA SUPPORT(P)
GR/F01895/01 MODELLING MODE AND CONCURRENCY IN THE DESIGN OF INTERACTIVE SYSTEMS(P)
GR/E26945/01 FORMAL SPECIFICATION LINKED WITH EVALUATION IN THE ITERATIVE DESIGN OF INTERACTIVE SYSTEMS(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator