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.
- My research targets all embedded systems, especially those that are critical and Wireless Sensor Networks. The main research questions being tackled include:
- How to design systems so that they can be shown to be dependable.
- How to gather evidence of dependability such that sufficient confidence is achieved.
- How to design systems to reduce the cost of change and support incremental certification.
Full details of possible PhD topics can be found here.