Steven Dai
Lecturer at University of York
York, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolSteven Dai is a Lecturer in Computer Science at the University of York and head of the ReFLEX Lab, specializing in scheduling, timing analysis, and verification for safety-critical cyber-physical systems such as robotics and autonomous vehicles. With 13 years of experience spanning industry embedded-systems development and academic research, he has driven practical advances—digital twins, cache-aware multicore scheduling, and hardware-aware designs—that have been adopted by industry partners. His recent MOCHA work on many-core architectures and digital twins targets next-generation 5G/6G baseband systems, while earlier contributions to EU H2020 DEIS advanced model-based safety assurance using SACM and formal tooling. A Best PhD Thesis awardee who routinely reviews for top conferences and journals, he blends low-level embedded expertise with formal methods and system-level safety engineering. Notably, his career bridges hands-on IoT and automotive telematics development with cutting-edge academic research, giving him a rare end-to-end perspective on timing-critical system design.
12 years of coding experience
7 years of employment as a software developer
Bachelor of Science in Engineering (B.Eng), Automation and Numeric Control, Distinction, Bachelor of Science in Engineering (B.Eng), Automation and Numeric Control, Distinction at Nanjing Institute of TechnologyDoctor of Philosophy (Ph.D), Computer Science, Best PhD Thesis, Doctor of Philosophy (Ph.D), Computer Science, Best PhD Thesis at University of YorkMaster of Science in Engineering (M.Eng), Automatic Control, Distinction (ranked 3/72), Master of Science in Engineering (M.Eng), Automatic Control, Distinction (ranked 3/72) at The University of Sheffield
Github Skills (56)
allocation10
real-time-systems10
robot10
lcs10
geometric10
filter10
object-detection10
computer-vision10
edge-detection10
robotics9
simulation9
opencv9
ranking9
square9
science9
Programming languages (8)
Github contributions (5)
automaticdai/research-period-adaptation
Jan 2018 - Jan 2021
Contributions:104 commits, 63 pushes, 1 branch in 3 years
automaticdai/automaticdai
Nov 2020 - Mar 2025
Contributions:28 pushes, 1 branch in 4 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.