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