Zhenyu Bai
Research Fellow at National University of Singapore
Singapore
Summary
👤
Senior🎓
Top SchoolZhenyu Bai is a research-focused software engineer and Research Fellow based in Singapore with nine years of experience bridging academic research and practical system analysis. Currently at the National University of Singapore, he applies deep expertise from his PhD work at IRIT/TRACES (Université Paul Sabatier) in WCET and static analysis to real-world problems in embedded and safety-critical systems. His background in embedded systems and formal timing analysis gives him a strong foundation in deterministic software behavior and tool-supported verification. Colleagues know him for translating rigorous academic methods into reproducible, engineering-grade analyses that inform system design and certification. Though primarily research-oriented, he brings a pragmatic mindset—comfortable prototyping tooling and automating analyses to scale insights beyond papers. Fluent in the research lifecycle from theory to implementation, he’s well-suited for roles at the intersection of research, tooling, and dependable systems engineering.
9 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Université Paul Sabatier Toulouse III
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (9)
platformio8
esp328
esp82668
arduino8
nested-lists6
ocaml6
vim-plugin5
neovim5
vim5
Programming languages (2)
Github contributions (5)
FTOD/ZExp
Oct 2020 - Aug 2022
Contributions:27 pushes, 1 branch in 1 year 9 months
ecolab-nus/loopana
Dec 2024 - Apr 2025
Contributions:63 pushes, 2 branches in 3 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.