He has long been engaged in research on computer operating systems. He is a recipient of the Distinguished Young Scholar by National Natural Science Foundation of China (NSFC), has won the 1st class Prize of Technical Invention of the Ministry of Education (first completer), the National Outstanding Doctoral Dissertation Award, the Young Scientist Award of the China Computer Federation, National Outstanding Doctoral Dissertation Award, etc. According to csrankings.org, he is ranked No. 1 in terms of the number of papers published in top-ranking conferences (SOSP/OSDI, EuroSys, Usenix ATC and FAST) in the field of operating systems in the past 5 years (2017-2021), and several papers have won the best paper awards in ASPLOS, EuroSys and other prestigious international academic conferences. He co-invents 59 Chinese patents and 10 US patents. He is the leading author of "Modern Operating Systems: Principles and Implementation", which won the "Most Reader-favorite IT Book Award" in 2020. 

He was the co-chair of the ACM SOSP conference, the flagship conference in the field of operating systems, and was the first Chinese chair in the history of SOSP. He is currently the Chair of ACM SIGOPS ChinaSys, the first Chinese editorial board member and area co-chair of ACM's flagship journal Communications of the ACM, the editorial board member of ACM Transactions on Storage, and the inaugural chair of the OpenHarmony Community Technical Steering Committee.

 

Innovation and application of highly secure operating systems  

  

Lack of domestic chips and operating systems is one of the main pain points of China's information industry. He has been working on the cutting-edge

research of operating systems, virtualization systems and distributed systems for a long time and is making significant contributions to operating systems innovation and development. His team has made a series of achievements in the frontier research and industrialization of low latency and high trustworthy operating systems, proposing key methods for low latency operating systems, breaking through the formal verification methods of common operating systems in industry, improving the performance and security of operating systems in industry, and solving the technical problems of high performance, rich ecology and high security of microkernel operating systems, promoting the research and large-scale industrial application of operating systems in China. He insists on combining scientific and technological innovation with national demand and market needs, and responds to the national call for combining industry, academia and research. The independent domestic he presided over is the first international operating system kernel with both high information security (CC EAL 5+) and high functional security (ISO 26262 ASIL-D) certifications, and has been deployed on more than one billion platforms such as smart terminals and servers). He has also actively contributed to the open source OS community in China, founding the technical steering committee of the OpenHarmony community and serving as the inaugural chairman. After seven decades of development, information technology is entering an explosive period, and system software is the core of this exciting era. Haibo Chen's long-term efforts to focus on system software research have laid a solid foundation and produced high-quality results, which are important for the construction of home-grown, highly reliable and high-performance operating systems.