Professor Hu Kai’s research mainly includes:
Digital economy and blockchain technology: He is one of the earliest researchers engaged in blockchain technology in China, and proposed and developed intelligent Theoretical methods such as contract engineering (SCE), legal code technology, and verification as a service (VaaS) are used in the integration of digital economy and blockchain, digital economic park planning and consulting, blockchain digital governance, blockchain scalability, and more It has in-depth research and patented achievements in chain interconnection and blockchain formal verification technology. He presided over the development of Beihang’s blockchain (TrustChain) series of products, including various forms of blockchain systems, browsers, monitors, deployment tools and blockchain big data management systems (OpenData) with independent intellectual property rights.
Distributed parallel computing and network: I have long been engaged in research on cluster computing systems, high-performance computing, aerospace electronic buses, and space-ground integrated network information technology in complex computing environments. I have proposed and studied wolf-based The reconfigurable multi-cluster computing theory of the group has been applied to practice, and multiple application software systems have been developed.
Formal design and verification methods: Work closely with the French Institute of Computer Research (IRIT) in Toulouse and the French Institute of Automation (INRIA) to create a Sino-French formal method joint research laboratory to study model-driven forms Based on the design and verification methods, a number of innovative extension technologies based on AADL and synchronization language Signal were proposed, and multiple model conversion, verification and automatic code generation tools were developed.
In recent years, he has published more than 60 SCI/EI retrieval papers at important academic journal conferences at home and abroad. He is the editor-in-chief of "New Technology in Network Computing" (416 pages, published by Science Press in 2001), and has cooperated to complete the national The authoritative textbook "Introduction to Distributed Computing Systems" for the 11th Five-Year Plan (more than 490 pages, published by Tsinghua University Press in 2014, won the first prize of the school's 2016 textbook, and has been adopted by more than ten key universities as textbooks). He has successively hosted and participated in a number of National Natural Science Foundation of China, national key R&D projects, 863 major projects, Junkou 863 project, national nuclear high-tech projects, aerospace funds, and a number of important engineering projects in the aerospace field. He has obtained more than 30 national invention patents and soft works. In 2015, he won the Five-Year Achievement Award from the Aviation Fund. In 2018, he led the "Space-Ground Integrated Information System Design Verification and Simulation" and won the second-class Innovation Achievement Award from the Industry, University and Research Association.