RAE2001 logo



RA6a: Additional observations, Evidence of esteem

The individuals concerned with each activity are indicated by their initials in { }; for example, Professor M O Cavazza is indicated by {MOC}.
Formal Methods
The Formal Methods group was instrumental in instigating the workshop series "Integrated Formal Methods" first held at York in 1999. The group was co-organiser (with the Technical University of Berlin) of the second workshop (November 2000, LNCS 1945), for which Teesside took financial responsibility. The workshop attracted 60 submissions, including industrial submissions from Siemens, Phillips, Microsoft Research and Electricité de France and academic submissions from Oxford PRG (2), Imperial, Edinburgh, Kings College London, Kent, Warwick, Southampton, Royal Holloway, Oxford Brookes, The Software Verification Research Centre (Queensland), The University of Oldenburg, Turku (Finland), and L'Ecole National Superieure de Telecommunications (France). Sir Tony Hoare and Wolfram Schulte (Microsoft Research) gave invited talks and in addition to the published programme J R Abrial gave a presentation on communication protocols for mobile agents.
Members of the group have filled the following roles: -
Editorship:- B-2000 conference proceedings (LNCS) {SED}
2nd Integrated Formal Methods Workshop, 2000 (LNCS) {WJS}
Programme Chair (B Committee):- ZB-2000 Conference {SED}
Programme Committee Member:- Formal Methods '99 (LNCS) {SED}
ZB-2000 conference (LNCS) {WJS}
First Integrated Formal Methods Workshop (Springer) {WJS}
First B Conference 1996 {SED}
EuroForth Conferences, 1996, 1997, 1998, 1999, 2000 {WJS}
External Reviewer:- ZUM'98 (LNCS) {WJS}
B'98 (LNCS) {WJS, SED}
Reviewer:- Computer Communications (special issue on formal specification) 1999 {WJS, SED}
External examiner:- PhD - De Montfort University 1996 {WJS}
Diplome d’Ingenieur - Conservatoire National d'Arts et Metiers (France) 1996 (co-examiner J.R Abrial). {WJS}
MSc - Curtin University, Australia 1997 {SED}
PhD - Appointed November 2000 as rapporteur and examiner for PhD at the Paul Sabatier University (Toulouse, France) {WJS}
PhD – Appointed Feb 2001 as examiner for Deakin University, Australia {WJS}
Invited Seminar Presentations:- University of Bradford (1996) {SED}
University of Manchester (1999) {SED}
University of Queensland (Feb 2001) {SED}
Oxford University (PRG) (Feb 2001) {SED}
Three former PhD students have taken up appointments in the applied formal methods area including two at the High Integrity Systems Engineering (HISE) group at York. The group continues to undertake joint research and have written several joint papers with one of the group’s ex-research students who is now at HISE.
Virtual Environments and Interactive Systems
Members of the group have filled the following roles: -
Evaluator for:- IST call for proposal on Human Language Technologies (1999) {MOC}
on-going ACTS projects, Telepresence and Virtual Reality area (1999) {MOC}
Integrated Programme Portfolio Analysis (IPPA 2000), IST Programme (2000) {MOC}
IST call for proposal on Cultural Heritage and Scientific Visualisation (2000) {MOC}
Programme Committee Member:- Virtual Systems and Multimedia (VSMM) - 1998 (Gifu, Japan), 1999 (Dundee, Scotland), 2000 (Gifu, Japan) {MOC}
Virtual Agents 1999 (Salford, UK) {MOC}
Autonomous Agents 2000, Workshop n.12 (Barcelona, Spain) {MOC}
Twente Workshop in Language Technologies n.17 (TWLT-17, The Netherlands) {MOC}
Intelligent Virtual Agents 2001, Madrid, Spain {MOC}
Virtual Reality International Conference (VRIC) 2001, Laval, France {MOC}
EDMEDIA - 96 (Boston, Massachusetts), 97 (Calgary, Canada), 98 (Frieburg, Germany), 99 (Seattle, Washington), 2000 (Montreal, Canada) {PGB}
CBLIS - 97 (De Montfort University, UK), 99 (Univ. of Twente, The Netherlands) {PGB}
Co-chair (workshops):- VSMM 1998 Conference (Gifu, Japan) {MOC}
Session Chair:- IST 2000 Conference (Games and On-line Communities) {MOC}
Session co-ordinator VSMM 1998 (Speech processing in VR) {MOC}
VSMM 2000 (Intelligent Virtual Environments) {MOC}
Editor, or on the editorial board, of:- International Journal of Human-Computer Studies {PGB}
Journal of Interactive Learning Research {PGB}
Innovations in Education and Teaching International {PGB}
Journal of Educational Multimedia and Hypermedia {PGB}
The Electronic Library {PGB}
Educational Technology Review {PGB}
Reviewer for:- Computer and Graphics {MOC}
Applied Artificial Intelligence (special issue on Intelligent Virtual Environments) {MOC}
External Reviewer for MPEG-7 standard committee:- Non-Normative Tools {MOC}
Invited speaker:- ACFAS’99 Conference (Canada) funded by the French Foreign Office {MOC}
TWLT-17 Conference {MOC}
Visiting Professor:- University of Gifu, January 2001 {MOC}
External examiner:- PhDs at the University of Wales, Strathclyde University, Sunderland University, University of Staffordshire, University of Hertfordshire and Bristol University {PGB}
Medical Informatics
A member of the group {DSS} is the Principal Investigator in a JREI funded project linking medical informatics, construction and health. This project has strong interdisciplinary links across the University.
The group {JJL & DSS} has had significant links with the NHS Information Authority (NHSIA) (and its predecessors) for many years. The Government’s Information for Health Strategy published in 1998 covered a number of areas that the group had worked on with the NHSIA. The group is a partner in one of the four NHSIA funded pan-community ERDIP (Electronic Record Development and Implementation Programme) projects. The group’s work on confidentiality {JJL} is a key element of the proposal and clinical colleagues on the ERDIP project have been seconded to the NHSIA to see that the work on confidentiality is transferred to the other national projects. Invited presentations have been given to head of the NHS Executive’s security and confidentiality programme, major healthcare computing conferences as well as to a number of senior managers and clinicians within the NHS.
Collaborative work {DSS} with leading hospitals in London, Manchester, Birmingham, Leeds, and Middlesbrough has resulted in the construction of national bone densitometry reference ranges for Caucasian women.
One member of the group {DSS} has been involved with the British Society of Gastroenterology’s information working party definition of the minimum functionality of a secondary care clinical information system in support of gastroenterology.
One member of the group {DSS} has been a juror for the European Academic Software Awards, a referee for papers in the special issue of Journal of End User Computing on Medical Informatics, an invited reviewer of EPSRC proposals and invited by the organisers of Medinfo2001 to host a site visit for delegates attending Medinfo2001 "Given the advanced state of your EPR development we feel that Teesside would be a good exemplar site to demonstrate - particularly to some of our overseas colleagues".
Contributions by non-submitted staff
The change in the University’s policy for submission of staff to the RAE, combined with the School’s decision to submit only groups of staff whose work falls clearly within the RAE guidelines, has meant that the number of staff submitted is significantly less than in 1996. The overall level of research within the School, and especially over the last two years, has increased. A particular area of research where the School has strength but does not fall within the RAE criteria, for example, is educational technology. This area has received significant funding from HEFCE, via TLTP and FDTL projects, and a Leverhulme Trust Fellowship. The School has not submitted individuals who are collaborating with external Universities (see RA5) nor junior members of staff who are starting out on their research careers nor its clinical Visiting Professor/Fellows.
The School has access to the extensive virtual reality facilities offered by the University’s Virtual Reality Centre including a 140 degree curved screen auditorium and a 180 degree hemisphere.
The School has great strengths in the area of computer animation but none of that work is submitted here. The School organised and hosted Animation 2000 and Animation 2001 at which the National Centre for Animation at Teesside was launched. Animation 2001, for example, had Oscar winning (Ray Harryhausen) and twice Oscar nominated and BAFTA winner (Michael Dudok de Wit) as speakers plus speakers from the USA and France. Students from the School regularly win awards for their work in Royal Television Society and similar competitions.
This wider body of research active staff provides a positive environment for research to develop. It is worth noting that in the first three months of 2001 two Teaching Company Schemes have been approved and neither of the lead academics has been submitted in this exercise.

Users of this website should note that the information is not intended to be a complete record of all research centres in the UK

Copyright 2002 - HEFCE, SHEFC, ELWa, DEL

Last updated 17 October 2003

[ Home | About the RAE2001 | Results | Submissions | Overview reports | Panels | Guidance for panel members
| Guidance for institutions | Publications  ]