Digital economy and blockchain technology: one of the earliest researchers engaged in blockchain technology in China. Theoretical methods such as intelligent contract engineering (SCE), legal code technology and verification as a service (VaaS) are put forward and developed. There are in-depth research and patent achievements in the integration of digital economy and blockchain, planning and consulting of digital economic parks, digital governance of blockchain, scalability of blockchain, multi-chain interconnection, and formal verification technology of blockchain. He presided over the research and development of a series of products of BUAA blockchain, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (OpenData).
Distributed parallel computing and network: I have long been engaged in the research of cluster computing system, high-performance computing, aerospace electronic bus, and network information technology integrating heaven and earth in complex computing environment, and put forward and studied the reconfigurable multi-cluster computing theory based on wolves and applied it to practice, and developed several application software systems.
Formal design and verification methods: In close cooperation with the Toulouse Institute of Computer Science (IRIT) and the French Institute of Automation (INRIA), a Sino-French joint research laboratory was established to study formal design and verification methods based on models, and a number of innovative extension technologies based on AADL and synchronous language signals were proposed, and several tools for model transformation, verification and automatic code generation were developed.
In recent years, he has published more than 60 papers on SCI/EI retrieval at conferences of important academic journals at home and abroad, edited "New Technologies of Network Computing" (4 16 pages, published by Science Press in 200 1 year), and cooperated to complete the national authoritative textbook "Introduction to Distributed Computing System" (490 pages, published by Tsinghua University Press in 20 14 years). He presided over and participated in a number of national natural funds, national key R&D projects, 863 major projects, 863 military projects, national nuclear high-base projects, aerospace funds and many important engineering projects in the aerospace field. He has won more than 30 national invention patents and software works, won the five-year achievement award of Aviation Fund in 20 15, and won the second-class innovation achievement award of Industry-University-Research Society in 20 18 for leading the "Verification and Simulation of the Design of the Integrated Information System of Heaven and Earth".