PhD students

  • Samuel Jimenez Gil - Probabilistic Timing Analysis
  • 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 - Real-Time Systems Design of High Performance Many-Core Heterogeneous Systems