Our research falls into 3 broad areas; Human Computer Interactions, Software Engineering and Virtual Worlds.

The Intelligent Virtual Environments Group explores new modes of user interaction based on artificial intelligence techniques. This work has applications in new media, computer games and simulation and is the largest of our research units.

The Formal Methods and Programming Research Group's activities span a wide range from theoretical aspects, including refinement and other semantic issues, to practical exploration of novel programming paradigms such as reversible imperative programming. The group is internationally recognised as a centre of expertise in the B method.

Interaction between people and the computer lies at the heart of four of our units. Interactive Systems, Special Needs, Multimedia Education and NITRO. Each of these teams co-operate to investigate the effects that computer technology has on the activities and behaviour of individuals, groups and communities. This includes those who use computers to learn and people with very individual requirements. Usability and Accessibility issues relevant to a web presence, web marketing or web services are a key feature of our research.

Each of these groups has provided a summary of the work they are undertaking and an initial point of contact.