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
• cloud computing
• 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.

biography

I am a Lecturer in Computer Science at Aston University; and a part-time Lecturer on the Software Engineering Programme at the University of Oxford.

Prior to joining Aston University in October 2009, I was a Senior Research Officer on UK's Large-Scale Complex IT Systems research and training initiative (January 2008 - September 2009); a Research Officer on UK's CancerGrid research initiative (July 2005 - December 2007); and the Technical Architect/Senior Development Manager of Sychron Ltd, an Oxford software company specialising in the development of policy-driven data-centre management solutions (1999-2005).

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.

publications

Click here for a list of selected publications.

teaching

• CS3190 Information Security
• CS4520 Information Security

program committee memberships

• PC Co-Chair - 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)
• PC Co-Chair - 16th Monterey Workshop (Monterey 2010)
• PC Member - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (Quovadis 2010)
• PC Member - Model-based development, Components and Services (MOCS) track at the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010)
• PC Member - 6th International Conference on Autonomic and Autonomous Systems (ICAS 2010)
• PC Co-Chair - 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009)
• PC Member - 24th Annual ACM Symposium on Applied Computing, Special Track on Wireless Sensor Networks (SAC 2009)
• Advisory Committee Co-Chair - 1st International Conference on Future Computational Technologies and Applications (FUTURE COMPUTING 2009)
• Advisory Committee Co-Chair - 1st International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2009)
• PC Member - Communicating Process Architectures 2008 (CPA 2008)

editorial boards

• International Journal on Advances in Intelligent Systems
• Formal and Practical Aspects of Autonomic Computing and Networking

recent invited presentations

• Microsoft Research Mysore-Park Series Workshop on "Building and Programming the Cloud" (January 2010)
• GI-Dagstuhl Seminar on "Model-Driven Quality Prediction" (December 2009)
• Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-12 (March 2009, slides)
• HP Labs, Bristol (February 2009, slides)
• TNO (Netherlands Organisation for Applied Scientific Research) (December 2008)

professional memberships

• Senior Member of the IEEE
• Member of the IEEE Computer Society