Career summary

I am a Senior Lecturer in Real-Time Systems at the University of York and a Visiting Professor with Mälardalen University in Sweden. In 1999 I was awarded a DPhil titled "Scheduling and Timing Analysis of Safety Critical Hard Real-time Systems", reference: YCST-99-04. I am the Editor-in-Chief of the Elsevier Journal of System Architecture. I became a Chartered Engineer in 1995. I chaired the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009), the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11) and the 2011 IEEE/ACM International Conference on Green Computing & Communications (GreenCom 2011).

Research interests

    My research aims to form a practical development approach for large-scale complex systems through extracting sufficiently accurate models where no pre-existing model exists that then allow the design space to be explored to obtain a near-optimal solution, and then based on the resulting system and the available models evidence gathered show the objectives are met to a given level of confidence.
  • Scheduling and timing analysis including energy aware systems and WCET analysis
  • Novel design and analysis techniques including the use of search-based approaches, machine learning and artificial immune systems
  • Systems engineering including trade-off analysis, architecture issues and optimisation
  • Demonstrating the dependability and safety of complex systems
  • Application areas including avionics, sensor networks, swarm robotics, autonomic, systems of systems and systems of co-operating objects.

The work features strong influences from real application issues especially in relation to critical systems. Full details of possible PhD topics can be found here.