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
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 have contributed to include:

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

Up one level to Ken Turner - Research Activities