PhD students

  • Bashar Al-Ani - Abstractions in multicore-based autonomous systems

Collaborators

  • Cliff Jones - Rely-Guarantee Contracts for Mixed-Criticality Systems

Post-Doctoral Researchers

  • Rob Davis - Real-Time Systems Design of Multi-Core Systems
  • Shuai Zhao - Real-Time Systems Design of High Performance Many-Core Heterogeneous Systems
  • Xiaotian (Steven) Dai - Digital Twins for High Performance Many-Core Heterogeneous Systems
  • Benjamin Lesage - Digital Twins for Real-Time Systems

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
Hui Keng (Kelvin) Lau Error Detection in Swarm Robotics: A Focus on Adaptivity to Dynamic Environments
Tiong Hoo Lim Dependable Network Protocols in Wireless Sensor Networks
Andrew Burkimsher Fair, Responsive Scheduling of Engineering Workflows on Computing Grids
Mark Fairbairn Dependability of Wireless Sensor Networks
Hashem Ghazzawi Feedback Admission Control for Workflow Management
Lei Chen Identifying The Usage Anomalies For ECG-Based Healthcare Body Sensor Networks
Xinwei Fang Improving Data Quality for Low-Cost Environmental Sensors
Gabor Makrai Reducing the Errors in High Resolution Environmental Modelling
Omar Jaradat Contracts-Based Maintenance of Safety Cases
Stephen Law Advancing Mixed Criticality Scheduling Techniques to Support Industrial Applications
Samuel Jiménez Gil Constraint-Based Testing and Tail Tests for Measurement-Based Probabilistic Timing Analysis