Career summary

I am a Senior Lecturer in the Real-Time Systems Group at the University of York. 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.

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.

Full details of possible PhD topics can be found here.