Collaborators

PhD students

  • Kelvin Lau - Bio-inspired Anomaly Detection for Swarm Robotics - supervised with Jon Timmis
  • Sitsofe Wheeler - Achieving Confidence in Measured WCETs
  • Andrew Burkimsher - Model-driven Approach to Workflow Management - supervised with Leandro Indrusiak
  • Hashem Ghazzawi - Control Theoretic Approach to Workflow Management - supervised with Leandro Indrusiak
  • Lim Tiong Hoo - Dependable Network Protocols for Wireless Sensor Networks - supervised with Jon Timmis
  • Mark Fairburn - Health Monitoring and Dependability of Sensornets
  • Usman Khan - Dependability Modelling and Analysis of Sensornets

Former PhD students

Name Thesis title
Ralf Reutemann Worst-Case Execution Time Analysis for Dynamic Branch Predictors
Paul Emberson Searching For Flexible Solutions To Task Allocation Problems
Jonathan Tate Principled tuning and structuring methods for sensornets
Nick Lay Enhancing real-time embedded systems development using artificial immune systems