The Department Home Prospective Students Staff List Research Information Conferences and Workshops Industrial Liaison Departmental Vacancies Alumni Contact Us Other Links

Computing Science Current Student Information Computing Science Seminars

Maths and Stats Group M&SG Home Page Mathematics Seminars Statistical Service

The University University Home Page Student/Staff Portal WebCT

Departmental Research Groups

Applied Formal Methods

The Applied Formal Methods research group concentrates on the application of formal methods to systems engineering and the systems development process. This includes communications and distributed systems, complex system design, LOTOS-based design and verification, protocol-inspired techniques for hardware description and verification, rigorous object-oriented analysis and design, software process modelling, and verification techniques. The emphasis is on practical techniques and tools, rather than theoretical computer science. Within this broad topic area, sub-groups tackle particular themes. In fact there is intentional overlap among the themes, with cross-fertilisation of ideas. The following should therefore not be interpreted as a rigid partitioning of activity.

For more details, go to the main Applied Formal Methods page.

Algebraic Graph Theory

For more details, go to the main Algebraic Graph Theory page.

Care Technology

The Care Technology research group (CARET) focuses on software technologies that support delivery of health and social care. This includes a wide range of approaches including:

• ambient monitoring
• decision support for health care
• formal modelling of medical devices
• hearing aid development
• home care technologies and telecare
• policy-based management of care delivery
• services and platforms for care delivery

For more details, go to the main Care Technology page.

Communications and Services

The Communications and Services research group has a wide ranging interest in service engineering across an array of network technologies, including voice and home networks. Key interests include service architectures, service creation, and feature interactions. The aim is to ensure that services from different vendors are compatible when they share control of a call, a communications session, or a device. The focus of our work is on the control of networked resources using software services. This includes the use of policies as a means to control service behaviour in a more abstract and user-oriented way. The group has experience with services controlling

• calls in telephony (POTS, Intelligent Network, Interactive Voice Response),
• sessions in Voice over IP (Session Initiation Protocol, H.323),
• the behaviour of networked appliances (Universal Plug and Play, Jini, X.10, OSGi).

Furthermore, the group investigates the integration of these diverse services to achieve additional added value.

Because of the importance of formal methods in the design of complex communications systems, there is commonality of interest with the Applied Formal Methods research group.

For more details, go to the main Communications and Services page.

Computational Intelligence

The Computational Intelligence research group aims

• to develop better computational systems through incorporating natural and neural techniques
• to improve understanding of neural systems by modelling them both in software and in hardware.

The group capitalises on the insights gained by applying new techniques (particularly in signal processing) to appropriate problems. The group has a strong interdisciplinary collaboration with Psychology at Stirling. The CCCN (Centre for Cognitive and Computational Neuroscience), an interdisciplinary group with the Psychology Department, is the focus for research at the forefront of neural computation, vision and auditory processing. The CCCN runs its own seminars. INCITE is a SHEFC funded institute whose role is to help university researchers commercialise their inventions and to give companies access to the latest university research.

For more details, go to the main Computational Intelligence page.

Mathematical Biology

Applied Mathematics research at Stirling has recently re-focused on the Mathematical Biology Research Group. Our work covers the epidemiology of infectious diseases, the evolution of populations and stage and age structured populations dynamics. We work collaboratively with members of the School of Biological and Environmental Science, the Institute of Aquaculture and the Computing Scientists here at Stirling as well as with a wide range of groups outside Stirling. We welcome applications from prospective graduate students, both international and UK.

For more details, go to the main Mathematical Biology page.

Medical Informatics

The Medical Informatics group was formed primarily with the intent of providing researchers working in a similar field with the opportunity to present, discuss and evaluate research projects and ideas. It is a multi-disciplinary group spanning the Departments of Computing Science and Mathematics, Management and Organisation, Nursing and Midwifery, and Psychology.

For more details, go to the main Medical Informatics page.