Ming Fu
Director Of Fields Lab, Central Software Institute, Huawei
Shanghai, Shanghai, China
Summary
👤
Senior🎓
Top SchoolMing Fu is a research-driven software leader with 10+ years of experience, currently directing the Fields Lab at Huawei's Central Software Institute and leading the Huawei Dresden Research Center. He specializes in concurrency verification, weak memory consistency, OS architecture, and formal verification of operating systems, blending deep academic roots (PhD and postdoc from USTC, research at Yale) with industrial R&D leadership. Ming has moved from academia to senior engineering roles and now steers large research teams to apply formal methods to real-world system problems. Based in Shanghai, he is known for bridging theoretical rigor and production constraints, translating complex verification techniques into practical tools and architectures. An understated strength is his consistent focus on industry-oriented research that shortens the path from formal models to deployable system guarantees.
10 years of coding experience
2 years of employment as a software developer
博士 Computer Science, 博士 Computer Science at University of Science and Technology of ChinaGithub contributions (5)
brightfu/CertiuCOS2
May 2017 - Jun 2017
Contributions:18 commits, 22 pushes, 1 branch in 1 month
brightfu/brightfu.github.io
May 2017 - Aug 2023
Contributions:77 pushes, 1 branch in 6 years 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.