Research Interests

My research interests can be broadly classified as advanced methods and tools for designing complex systems.

In terms of fundamental techniques, my interests include:

systems architecture: architectural concepts and their specification
formal modelling: representation and analysis of systems and their architectures, particularly using LOTOS and SDL
policy-based management: languages and tool support for automated rule-based management of systems.

I also strongly believe in applying research to concrete applications. The domains I work on include:

systems architecture: design of advanced communications systems
communications services: rigorous modelling and analysis of data services, voice services, web services and grid services
social and health care: technologies and services for care at home
medical devices: rigorous modelling and testing, particularly of radiotherapy devices
policy-based management: flexible control over voice services, home care services, and sensor networks
quality of service: network characteristics (no recent work on this)
hardware description: formal description and testing (no recent work on this).

Up one level to Ken Turner - Research Activities