RA5a: Structure,environment and staffing policy
Computer Science resides within the School of Computing and Mathematics and is the dominant component of the School (approximately 90% of the academic establishment). The key elements of the School’s research strategy are
§ the School’s research is to be mainly applied in nature but with elements of fundamental research
§ the School’s research is to underpin its teaching programmes
§ to formally recognise groupings of research staff in specific domains
§ for research to be interdisciplinary and multidisciplinary whenever possible
§ for School funded activities to be focussed on members of staff at the start of their research active careers.
These elements came out of a major review of the School’s research policy in 1999 following a University wide review of research completed in 1998. The School’s revised research policy identified nineteen specific issues to be addressed, along with time scales for each issue, which fell into one of three areas; namely, culture/environment, funding and roles/responsibilities. A few of the specific issues identified are outlined below.
Key elements of the research strategy outlined in 1996 remain; for example, clearly identified groupings, research to be mainly applied in nature. What has changed are some of the groupings, the University environment (e.g. the introduction of University sabbaticals), a more explicit strategy in detailing how the policy is to be implemented and physical changes to ensure research active staff and students are housed together to help a research culture flourish.
The revised policy covers both RAE categorised research and research that falls outside the RAE exercise. A major outcome of the research review was the allocation of over 500 square metres of contiguous space in one building for the School’s research active staff, students, equipment and meeting room. This space houses the research activities described in this RAE submission as well as the externally funded TLTP/FDTL projects, work on learning technologies and related research activities which are outside the scope of this unit of assessment.
The School has continued to focus its research on coherent groups based on School priorities and staff interests. The ability to map the groups neatly onto RAE units of assessments and criteria has not been a factor in deciding School policy or the groupings. Combined with the clear identification of staff who are research active, as opposed to scholarly active, has significantly reduced the number of staff submitted in this UoA compared to 1996. This reduction in the number of staff submitted does not indicate a reduction in the overall number of staff undertaking research in computing within the School. The number of active research staff has not changed significantly since 1996. Areas of School research not included cover animation, teaching and learning environments, special needs computing, interactive multimedia and individual research. As well as reducing the numbers of staff submitted, this continued focussing on priorities and needs, as opposed to RAE UoA and criteria, has also had an impact on the external income and the number of research students returned in this submission.
Changes in the School’s academic profile, including major developments in visualisation and virtual environments, have been reflected in the change in groupings of research staff within the School. In particular, the previous groupings of Modelling and Simulation and Visualisation and Interactive Systems have been replaced by Virtual Environments and Interactive Systems. This change has been helped by the impact of the JREI funding which encouraged interdisciplinary and multidisciplinary work between the Schools of Computing and Mathematics, Science and Technology, Social Sciences and Health. The success of the developments in the area of virtual environments has been recognised by the University as a major growth area and the University funded a Chair in this area in 1998. The University has committed to support this area in both funding for teaching and research.
The increase in interdisciplinary and multidisciplinary research has been encouraged by both the JREI and the University establishing a research fund specifically to support cross-School research activities. The following projects have all benefited from this support: -
§ computing and physiotherapy in the 3-D reconstruction of scoliotic body shape,
§ computing and psychology in the experimental content evaluation of virtual environments,
§ computing and virtual reality modelling of the built environment and
§ computing with social sciences to assess how virtual environments may be used to help people with dementia.
University and School semester sabbaticals (on average three per year) have been targeted at junior staff who have shown promise and wish to consolidate their research.
As part of the University’s revised policy on research, all members of staff wishing to supervise research students must attend the University’s Research Supervisors’ training course. This is part of a programme of events introduced to offer improved support for research students. Staff are always invited to provide a self assessment of their research activities via the personal development and review process that operates across the University.
In addition to the staff returned in this unit of assessment, the overall research culture and environment within the School is enhanced by groups working in areas outside this submission and colleagues undertaking individual research. For example, one member of staff (Dr McElhone) is working closely with York University on safety critical systems while another (Dr B Oates) is working with Salford University on information systems theory.
The School’s research groupings are now centred on Formal Methods, Virtual Environments and Interactive Systems and Medical Informatics. Cross-references to RA2 outputs are given in the form [SED-1] indicating the first output for S E Dunne, for example.
Formal Methods – S E Dunne (SED) and W J Stoddart (WJS)
The Formal Methods group has interests in model-based formal specification languages, integrated formal methods, general correctness and object technology. Particular areas of work are
FM1 Extending B-GSL to allow concurrent components to be introduced during development (SED, WJS)
By adding predicate transformer rules for weakest liberal pre-conditions the group has extended the semantics of B-GSL from total to General Correctness semantics. The practical aim of this exercise is to simplify proof obligations associated with the introduction of concurrency during refinement. [SED-2]
FM2 Recasting Hoare and He's Predicative Program Model in the Context of General Correctness (SED)
By reformulating Hoare and He's Unifying Theory in terms of General Correctness we have been able to express their healthiness conditions for a program entirely algebraically in terms of zero and unit laws.
FM3 Integrated Formal Methods (WJS)
We have developed two approaches to combining state based and behavioural views of event based system models. These are ZCCS, a variant of CCS which has Z as its value passing calculus, and the "Event Calculus", a graphical notation based on state machines which communicate via shared events, and which can be translated into Z or B. The state machine approach allows desirable system properties, such as freedom from deadlock, to be expressed in a system invariant which gives rise to proof obligations in the style of the B method. [WJS-1, WJS-2, WJS-3]
FM4 Execution Architecture for an Abstract Command Language (WJS)
We have described an efficient virtual machine architecture which supports abstract programming concepts such as non-deterministic choice. It also supports the introduction of concurrency during refinement, as mentioned in FM1 above. As part of this work, we have reported a variant of the probabilistic choice defined by Caroll Morgan in his formalism pGSL. It differs from Morgan's probabilistic choice in complying with the predicate transformer rules of non-deterministic choice - this allows probabilistic choice to be combined with backtracking. We have shown that, like pGSL, our variant satisfies the important property of "sub-linearity", from which other properties such as monotonicity and scaling may be derived.
FM5 Case Studies (SED, WJS)
Several case studies have been published based on the above techniques, including a distributed seat booking system with timeouts, an invoicing system, a gas burner control system with timing constraints, and a hybrid system with environmental components that evolve in continuous time. [WJS-1, WJS-4]
FM6 Specification Languages: Z and B (SED, WJS)
In addition to our use of these notations in FM1 to FM5 we have investigated i) problems relating to undefined terms with reference to underlying denotational semantics, proof theory and historic approaches such as that of Russell in Principia Mathematica, and ii) different uses of the concept of a state-invariant. [SED-1, SED-3, SED-4]
Virtual Environments and Interactive Systems – Professor P G Barker (PGB), Professor M O Cavazza (MOC), P C Fencott (PCF), Dr W Tang (WT) and Dr A Wani (AW)
The Virtual Environments and Interactive Systems group has strong interdisciplinary and multidisciplinary links with researchers from other Schools within the University as well as other national and international groups. Professor Phil Barker leads the long established Interactive Systems component of the group and Professor Marc Cavazza leads the Virtual Environment component of the group. Professors Barker and Cavazza have extensive experience of national and European research projects.
Members of the group have been involved with external exchanges with overseas universities in America, Europe and Japan as well as being invited speakers at international conferences.
A significant part of the group’s research deals with the notion of Virtual Actors. This includes several aspects, from motion control [MOC-4] and behavioural animation [MOC-1] to conversational characters [MOC-3] or "talking heads". Most of this research is interdisciplinary and involves the combination of Computer Graphics, Virtual Reality, Artificial Intelligence, Usability, and Human Factors.
VI4.1 Completed Projects (PGB)
Our work on digital libraries, online learning, icons and mental models continued throughout this period. Papers were presented at various international conferences and, perhaps, most importantly our new book on "Iconic Communication" was published in 2000.
During this period work has been undertaken on behalf of the Open University, Strathclyde University, University of the West of England, De Montfort University, the Institute of Learning and Teaching and SEDA (Staff and Educational Development Association).
VI4.2 International Projects (PGB)
We are currently working on four international projects. Three of these involve PhD students who are registered at the University of Teesside. An Australian Project involves an investigation of the creation of models and methodologies to support the development of interactive multimedia learning products. Our American project is studying the efficacy of different modes of electronic course delivery for distance learners who are resident in the state of Nevada. Our Lebanese project is exploring the role and potential of a virtual university system for the delivery of electronic courses within Lebanon. Our project with the University of Barcelona [PG-1, PG-2, PG-4] is exploring the issues involved in collaborative distance authoring of hypermedia materials for delivery to distance learners via the Internet.
Some of our current UK projects include work on European Patents (HCI issues), an evaluation of computer conferencing techniques, icon research and the development of multimedia patient education systems.
VI4.3 Future Work (PGB)
A book on "Web-Based Teaching and Learning" is planned, as is a book that looks at "Applications of Iconic Communication". New methods for the support of online learning and electronic course delivery, especially with respect to the incorporation of digital library facilities, continue to be explored. We are particularly interested in automatic portfolio management and assessment techniques.
Medical Informatics – Dr J J Longstaff (JJL) and Dr D S Simpson (DSS)
The group’s research activities are in close collaboration with clinicians in both the primary (General Practice) and the secondary (NHS Trusts) healthcare sector, healthcare authorities as well as medical physicists. The group has long established links with the NHS Information Authority (NHSIA) and its predecessors. One Visiting Professor and two Visiting Fellows from the local NHS Trusts are associated with the group.
MI1 Electronic Patient Record and the Electronic Health Record (JJL, DSS)
A major strand of the work over the last few years has been concerned with the Electronic Patient Record (EPR) and the Electronic Health Record (EHR). In particular, we have developed a model of confidentiality for the medical record. This model and our work on the requirements of a multimedia medical record has been the subject of lengthy discussion with various parties including the NHSIA and its predecessors. It was pleasing to see a number of the items worked on with the NHSIA appear in the Government’s Information for Health - An Information Strategy for the Modern NHS 1998–2005 when it was published in 1998.
The group is a partner of one of four winning bids to pilot examples of pan-community EHRs as part of the NHSIA’s Electronic Record Development and Implementation Programme (ERDIP) following the release of the Government’s Information for Health strategy. A key component of this project is based on the confidentiality model of the EHR developed by the group. The model is a development of earlier database research with which members of the group have been involved for many years.
Alongside the pan-community EHR project, work started in late 2000 on an externally funded project on direct booking in conjunction with a local NHS Trust. This multidisciplinary and interdisciplinary project involves research into the integration of data from both primary and secondary care systems across the NHSnet, the capturing of endoscopy data from the operating theatre via a spoken dialogue system and access controls to the data to ensure confidentiality. The first stage of this project, the work concerning the spoken dialogue system (see MI2 below) has started evaluation trials in a local NHS Trust. [JJL-1, JJL-2, JJL-3, JJL-4]
MI2 Spoken Dialogue Systems (DSS)
We have developed a spoken dialogue system for the hands free recording of endoscopic information. The language processor uses a lexicon and a domain-specific semantic grammar. The grammar rules are expressed in the style of a Definitive Clause Grammar which specify rules of semantic transformation as well as syntax. Domain item knowledge is structured into a slot-filler notation while domain anatomy knowledge is structured into a hierarchical model of anatomical features.
Early results have been very encouraging and this work has already been extended to demonstrate voice control of a surgical robot manufactured by Armstrong Healthcare Ltd. Discussions are being held with Armstrong Healthcare and clinical interests to extend this work further into a general spoken dialogue system for the operating theatre (e.g. lights, table, robots, etc.). [DSS-2, DSS-3]
MI3 Bone Mineral Densitometry Reference Ranges (DSS)
A major piece of research completed by the group since the last RAE has been the development of a proposed methodology for the construction of national bone densitometry reference ranges. The methodology developed was used to construct national bone densitometry reference ranges utilising a study of 1,372 Caucasian women involving data collected from leading hospitals in London, Manchester, Birmingham and Leeds. [DSS-1, DSS-4]
MI4 3-D reconstruction of Scoliotic Body Shape (DSS)
An exploratory piece of collaborative work started in 1998 with two junior members of staff (one in the School of Computing and Mathematics and one within the School of Health) and a consultant colleague to investigate the 3-D reconstruction of scoliotic body shape. This early work has shown sufficient promise to obtain funding (£60K) from HEFCE in 2000 for the purchase of a 3-D scanner to develop this work further.
MI5 Workshops and Meetings (JJL, DSS)
The group holds regular monthly meeting involving academics, clinicians and healthcare workers at which research topics of mutual interest are discussed. An annual Innovations in Healthcare Computing workshop is held which attracts between sixty and seventy delegates. A part-time MSc in Medical Informatics, developed by the group, is delivered jointly by the School and clinical colleagues.
The work described in this UoA is embedded within a much larger research base and culture within the School and benefits from strong support from the University’s most senior management. The focus of the School’s research has evolved since 1996 and has benefited significantly from the University and School review undertaken 1998/99. It is expected that the groupings described here will continue to develop at an increasing rate over the next few years with a potential for one or two new groupings forming over the next five years. Of the existing groups, the Formal Methods group and the Virtual Environments and Interactive Systems group both have a strong international dimension. The Medical Informatics group has a strong national and collaborative Government agency element, with its work presented at an international level.
Copyright 2002 - HEFCE, SHEFC, ELWa, DEL
Last updated 17 October 2003