Career summary

I am a Professor of Dependable Real-Time Systems in the Real-Time Systems Group at the University of York. I am also a Deputy Head of Department with responsibilities for on-campus teaching.

In 1999 I was awarded a DPhil titled "Scheduling and Timing Analysis of Safety Critical Hard Real-time Systems", reference: YCST-99-04. I was the Editor-in-Chief of the Elsevier Journal of System Architecture for ten years until the end of 2017.

Research interests

    My research focusses on how to design critical systems so that they can be certified with reduced effort both initially and as part of incremental certification. Three key areas have been investigated:
  • Scheduling and timing analysis including multicore processors using both static and measurement-based analysis.
  • Allocation of tasks to processors and messages to networks using heuristic search-based analysis.
  • Improving the dependability of Wireless Sensor Networks using systematic evaluation and testing to derive (often statistical) models.

I am currently keen to recruit a motivated PhD student to apply machine learning technique to the industry relevant problem of multi-core scheduling and timing analysis. The work will be based on real industrial software. Details can be found here.

Full details of other possible PhD topics can be found here.