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 data services, voice services, web services, grid services, device services and statistics services
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 ActivitiesLast Update: 12th October 2012