My main research interests are in
- automated, model- and metadata-driven software engineering
- formal specification, modelling and verification
- high-performance computing
and the application of the theories, approaches and techniques specific to the above research areas to the modelling, development and analysis of
- self-* systems and systems of systems
- complex, context-dependent and adaptive IT systems
- health informatics
Building on industrial research experience I gained in my previous job as the Technical Architect of an Oxford University spin-out software company, I developed a general-purpose framework for the model- and metamodel-driven development of autonomic computing solutions. The vision and theoretical foundations underpinning this framework are described in Springer's 2009 volume on Autonomic Computing and Networking, and its implementation details are presented in a research paper that won a Best Paper Award at the 4th International Conference on Autonomic and Autonomous Systems.
I am a Senior Research Officer on the Predictable Software Systems project, a major component of UK's Large-Scale Complex IT Systems research and training initiative; and a part-time Lecturer on the Software Engineering Programme at Oxford.
Prior to rejoining Oxford University in July 2005, I spent six years as the Technical Architect/Senior Development Manager of Sychron Ltd, an Oxford software company specialising in the development of policy-driven datacentre management solutions.
My University of Oxford DPhil thesis on Autonomic-Independent Loop Parallelisation received a British Computer Society Distinguished Dissertation Award, and is available as a Springer-Verlag book.
teaching
other activities
program committee memberships
editorial boards
recent invited presentations
professional memberships
