Services
Professional Affiliations
- Member of Real-Time and Distributed Systems Research Group (RTDS), University of York, UK
- Member of ACM Special Interest Group on Embedded Systems (ACM SIGBED) and Design Automation (ACM SIGDA)
- Member of IEEE Computer Society (IEEE CS) and Robotics and Automation Society (IEEE RAS)
- Member of UKRI Digital Twin Network Plus (DTNet+)
- Member of UKRI XR Networks+
Conference Chairing and Organisation
- Publication Chair, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'26, RTAS'25, RTAS'24)
- Local Organisation, IEEE Real-Time Systems Symposium (RTSS'24)
- Publication Chair, IEEE International Symposium on Industrial Embedded Systems (SIES'24)
- Web Chair, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)
- Workshop Co-Chair, the 9th Workshop on Mixed Criticality Systems @ RTSS (WMC'22)
- Workshop Co-Chair, the workshop Innovative Defence Technologies in 5G and Beyond Networks Using Machine Learning @ Monami'22
- Publicity Chair, International Conference on Real-Time Networks and Systems (RTNS'21)
- Session Chair (Systems), International Conference on Real-Time Networks and Systems (RTNS'21)
- Session Chair (Resource Management), IEEE International Conference on Embedded Software and Systems (ICESS'20)
- Session Chair (Design of CPS), Euromicro Conference on Digital System Design (DSD'20)
Conference Technical Program Committee (TPC)
- IEEE Real-Time Systems Symposium (RTSS'25, RTSS'24, RTSS'23, RTSS'22)
- IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'25, RTAS'24, RTAS'23, RTAS'21)
- Euromicro Conference on Real-Time Systems (ECRTS'26, ECRTS'24, ECRTS'23, ECRTS'22, ECRTS'19)
- International Conference on Real-Time Networks and Systems (RTNS'21)
- Ada-Europe International Conference on Reliable Software Technologies (AEiC'26, AEiC'25, AEiC'24, AEiC'23, AEiC'22, AEiC'21)
- IEEE International Conference on Mobility: Operations, Services, and Technologies (MOST'26, MOST'25)
- International Symposium on Trustworthy Autonomous Systems (TAS'24, TAS'23)
- Real-time And intelliGent Edge computing workshop (RAGE'24, RAGE'23, RAGE'22)
- IEEE International Conference on Embedded Software and Systems (ICESS'22, ICESS'21, ICESS'20)
- Euromicro Conference on Digital System Design (DSD'22, DSD'20)
Conference Reviewer
- Real-Time: RTSS'23, RTSS'22, RTSS'21; RTAS'23, RTAS'21, RTAS'20, RTAS'19; RTNS'21, RTCSA'21
- Robotics: ICRA'25, ICRA'24, ICRA'23, ICRA'22
- Embedded: EMSOFT'20; ICESS'22, ICESS'21, ICESS'20
- Design Automation: DAC'20; DATE'21, DATE'20; DSD'22, DSD'20; CASES'21
- High-intergrity: AEiC'24, AEiC'23, AEiC'22, AEiC'21
Journal Editor / Associate Editor
Journal Reviewer
- (TC) IEEE Transactions on Computers
- (TPDS) IEEE Transactions on Parallel and Distributed Systems
- (TCAD) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- (TSC) IEEE Transactions on Services Computing
- (RA-L) IEEE Robotics and Automation Letters
- (TSTE) IEEE Transactions on Sustainable Energy
- IEEE Access
- (TECS) ACM Transactions on Embedded Computing Systems
- (TCPS) ACM Transactions on Cyber-Physical Systems
- (TAAS) ACM Transactions on Autonomous and Adaptive Systems
- (JATS) ACM Journal on Autonomous Transportation Systems
- (JSA) Journal of Systems Architecture, Elsevier
- (MICPRO) Microprocessors and Microsystems, Elsevier
- (RAS) Robotics and Autonomous Systems, Elsevier
- (PARCO) Parallel Computing, Elsevier
- (COR) Computers & Operations Research, Elsevier
- (NEUNET) Neural Networks, Elsevier
- (FGCS) Future Generation Computer Systems, Elsevier
- Sustainable Computing: Informatics and Systems, Elsevier
- Computer Standards & Interfaces, Elsevier
- (JCSC) Journal of Circuits, Systems and Computers
- (SPE) Software - Practice and Experience, Wiley
- Journal of Supercomputing, Springer
- Connection Science, Taylor & Francis
Talks and Invited Presentations
- Invited Talk, “Digital Twin for Real-Time Cyber-Physical Systems”, Systron Lab Research and Demo day, Aug 2025
- “Digital Twin for Real-Time Embedded Systems”, 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'22), Oct 2022
- “Resilience-aware Mixed-criticality DAG Scheduling on Multi-cores for Autonomous Systems”, Ada-Europe International Conference on Reliable Software Technologies (Ada Europe'22), June 2022 (presented by Jie Zou)
- “Discretization and Stabilization of Energy-based Controller for Period Switching Control and Flexible Scheduling”, American Control Conference (ACC'22), June 2022 (presented by Dr. Tafrashi)
- Invited Talk, “Digital Twin for Scheduling in Embedded and Real-Time Systems”, 6th Annual UK System Research Challenges Workshop, Nov 2021
- “Digital Twin for Dependable Multi-Core Real-Time Systems — Requirements and Open Challenges”, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21), May 2021
- “DAG Scheduling and Analysis on Multiprocessor Systems”, IEEE Real-Time Systems Symposium (RTSS'20), Dec 2020 (presented by Dr. Zhao) [Video]
- “Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks”, International Conference on Computer Aided Design (ICCAD'20), Nov 2020 [Video]
External Service
- External Examiner for Doctoral Thesis, University of Newcastle
- Expert Reviewer for the UK Research and Innovation (UKRI) / EPSRC