Career summary

I am a lecturer in Real-Time Systems. 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 am a member of The IET and hold Chartered Engineer status.

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
  • Application areas including avionics, sensor networks, swarm robotics, autonomic and systems of systems

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.