Digital economy and blockchain technology: he is one of the earliest research scholars engaged in blockchain technology in China, and has proposed and developed theoretical approaches such as Smart Contract Engineering (SCE), Legal Code Technology, and Verification-as-a-Service (VaaS), and has conducted intensive research and patented achievements in the combination of digital economy and blockchain, digital economy park planning and consulting, blockchain digital governance, blockchain scalability, multi-chain interconnection and blockchain formalized verification technology, etc. He has in-depth research and patentable results. He has presided over the research and development of Beihang Blockchain (TrustChain) series of products, including blockchain systems of various forms with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (OpenData).

Distributed Parallel Computing and Networking: Long engaged in cluster computing systems under complex computing environments, high-performance computing, aerospace electronic bus, and integrated network information technology research in the sky and the earth, etc., proposed and researched the theory of reorganizable multi-cluster computing based on wolf packs and applied it in practice, and developed a number of application software systems.

Formalized Design and Verification Methods: In close cooperation with IRIT (Institute for Research in Computing, Toulouse, France) and INRIA (Institute of Automation, France), the Sino-French Joint Research Laboratory of Formalized Methods was established to research model-driven formalized design and verification methods, and proposed several innovative extension techniques based on AADL and Signal, and developed a number of tools for model transformation, verification and automatic code generation. We have also developed several tools for model transformation, verification and automatic code generation.

In recent years, he has published more than 60 SCI/EI papers in important academic journals and conferences at home and abroad, edited New Technology of Network Computing (416 pages, published by Science Publishing House in 2001), and co-edited the authoritative textbook Introduction to Distributed Computing Systems (490 pages, published by Tsinghua University Publishing House in 2014), and co-authored a book entitled Introduction to Distributed Computing Systems (490 pages, published by Tsinghua University Publishing House in 2014). (490 pages, published by Tsinghua University Press in 2014, won the first prize of teaching materials in 2016, and has been adopted by the teaching materials of more than ten key universities). He has presided over and participated in a number of national natural funds, national key research and development projects, 863 major projects, military 863 projects, national nuclear high base projects, aerospace funds, as well as a number of important engineering projects in the field of aerospace. He has obtained more than 30 national invention patents and soft writings, etc. In 2015, he was awarded the Five-Year Achievement Award of the Aeronautics and Astronautics Foundation, and in 2018, he was awarded the Second Innovative Achievement Award of the Society for Industry, Academia and Research for his leadership of the "Integrated Information System Design, Verification, and Simulation of Heaven and Earth".