Dr. Xiaotian (Steven) Dai
Lecturer (Assistant Professor)
Real-Time and Distributed Systems Research Group
Department of Computer Science
University of York, UK
CSE/136
Department of Computer Science
University of York
York, United Kingdom, YO10 5GH
Email: xiaotian.dai (at) york.ac.uk
About
Hi, my name is Steven. I am currently a Lecturer (equivalent to Assistant Professor in the US) in the Department of Computer Science at the University of York, UK. I mainly work on scheduling and timing assurance, and to guarantee systems to meet their deadlines. I am the lead of the Real-Time and Flexible Cyber-Physical Systems Lab (ReFLEX lab).
My research focuses on the scheduling and verification of real-time cyber-physical systems, with a particular emphasis on timing analysis and enhancing scheduling flexibility and adaptability of safety-critical systems throughout their lifespan. I am particularly interested in applications involving cyber-physical systems, robotics, and autonomous vehicles. My work has contributed to the development of innovative modelling, scheduling and analysis techniques, digital twins for run-time improvement, and hardware for safety-critical embedded systems with strict timing constraints, many of which have been adopted by industry. I am actively involved in the robotics and autonomous systems (RAS) community, with a focus on ensuring safety, robustness, and resilience during their operation.
You can find more about my research interests and research projects here.
Short Bio:
I was a Research Associate on the MOCHA research project from 2019-2023, working with Prof. Iain Bate and Prof. Alan Burns in the Real-Time and Distributed Systems Research Group (RTDS), funded by Huawei. The MOCHA project focuses on modelling, scheduling and allocation of complex many-core architectures that have high performance and stringent timing requirements, using novel methods including Digital Twins and cache-aware scheduling. The project is targeted at providing key techniques of the next-generation 5G/6G communication base stations.
Before MOCHA, I worked on the EU H2020 DEIS project in 2019 with Prof. Tim Kelly and Prof. Ibrahim Habli. The DEIS project involves developing model-based safety assurance language (using Structured Assurance Case Metamodel (SACM); now is an OMG standard) and tools that are applicable to model-based autonomous and cyber-physical systems. This project was collaborated with AVL, Siemens, General Motors and Fraunhofer.
I joined the real-time systems group at York in 2015 as a PhD student, supervised by Prof. Alan Burns, and I was awarded a PhD degree in 2019 with Best Thesis. I received an MSc with distinction in Automatic Control and Systems Engineering from the University of Sheffield in 2014, and a BSc in Automatic Control in 2011. I have published over 30 papers and also regularly serve as a TPC member and reviewer for various prestigious conferences and journals in the domains of real-time systems, embedded systems, robotics and design automation.
Other information:
- Find more information on PhD opportunities
- I maintain Real-time & embedded systems conferences tracking
- Robotics projects, as part of my research and part-time entertainment.
- Photography portfolio: landscape and cityscape photography.
Find me on: [ Google Scholar | ResearchGate | LinkedIn | Twitter | GitHub ]
News
- (news) Oct 2024: We would like to welcome everyone who will come and join us at RTSS 2024 here at the Uni. of York!
- (service) Sep 2024: Invited as the publication chair of RTAS 2025.
- (service) July 2024: Invited as a TPC member of RTSS 2024 BP track.
- (service) Apr 2024: Invited as a TPC member of TAS 2024.
- (service) Feb 2024: Invited as the publication chair of SIES 2024.