Wu Qiang
Algorithm Engineer at Huawei
Singapore, Singapore
Summary
👤
Senior🎓
Top SchoolWu Qiang is an Algorithm Engineer based in Singapore with 10 years of experience blending formal methods, systems research, and hardware-software co-design. He completed graduate work in Control Science and Engineering and was a visiting researcher at Yale, where he worked on formally verified OS and hypervisor technology for secure drone platforms. At Huawei he researches multi-object optimization for network processing chip design, publishing on co-design approaches in RTSS 2022. Wu combines rigorous verification background with practical platform-building, enabling safety-critical systems to run flexible guest environments. Colleagues describe him as an engineer who moves smoothly between low-level systems proofs and applied optimization for silicon and software. He also brings a mechanical engineering foundation that informs his systems-level perspective on embedded and cyber-physical designs.
10 years of coding experience
Visiting Assistant Researcher, Formal Verification of Operating System && Development of Operating System, Visiting Assistant Researcher, Formal Verification of Operating System && Development of Operating System at Yale UniversityMaster of Engineering - MEng, Control Science and Engineering, Master of Engineering - MEng, Control Science and Engineering at Harbin Institute of TechnologyBachelor of Engineering - BE, Mechanical Engineering, Bachelor of Engineering - BE, Mechanical Engineering at Central South University
Github Skills (13)
manjaro10
linux10
translation10
open-source8
solve8
vscode6
algorithm4
vscode-extension4
ordered3
leveldb2
storage1
database1
key-value1
Programming languages (2)
Github contributions (5)
toyijiu/LeetCode
Feb 2017 - Mar 2017
Contributions:109 pushes, 1 branch in 1 month
toyijiu/DailyBlog
Feb 2017 - Nov 2019
Contributions:20 pushes, 1 branch in 2 years 9 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.