Liang Hongliang

Personal Information:

More  >>

Associate professor   Supervisor of Doctorate Candidates   Supervisor of Master's Candidates  

Honors and Titles:

2005   elected:Beijing Science and Technology Progress Award

2007   elected:Excellent tutor for graduate students at ISCAS

2016   elected:Excellent Instructor for Innovation and Entrepreneurship of College Students in BUPT

Personal Profile

Dr. Liang is an Associate Professor, Doctoral Supervisor and Master Supervisor of the School of Computer Science. In 2002, he received PhD degree in computer software and theory from the Institute of Software, Chinese Academy of Sciences. He has studied intelligent systems and trusted software for a long time, and has published more than 70 academic papers in well-known journals and conferences, including IEEE TIFS, IEEE TCC, IEEE TReliability, EMSE, Computers&Security, ICSE, ICPC, SANER, etc., He won one Beijing Science and Technology Progress Award and participated in the formulation of 3 national standards.

He guided more than 10 undergraduate innovation and entrepreneurship projects and 1 graduate innovation and entrepreneurship project, including 2 national level projects. He was awarded the "Excellent Instructor of Innovation and Entrepreneurship for University Students". He supervised more than 50 doctoral and master's students, and 2 of them were awarded national scholarships for graduate students.

He has presided over and participated in more than 30 national scientific projects, including 1 national key research and development project, 1 national 863 project, 3 national natural science funds. The research results have won the application cooperation of national ministries and agencies, aerospace units, Cisco, Xiaomi and other companies.

The achievements of intelligent system have been applied to the system software products of the national information and innovation industry, and have been recognized and affirmed by Linux, Libvirt, FreeBSD, OpenSSL, RIOT, FreeRTOS and other mainstream open source communities.

The trusted software achievements have been applied to the software control system of the CZ-7 rocket, the software system of the Tiangong Space Station, and have been highly praised by the Aerospace Software Research and Development Center of China Aerospace Science and Technology Corporation and the Aerospace Equipment Software Evaluation Center.

Educational Experience

  • Institute of Software, Chinese Academy of Sciences
  • Computer Software and Theory
  • Doctoral Degree in Engineering
  • Graduate with a professional diploma

  • China University of Petroleum
  • Computer Application
  • Master's Degree in Science
  • Graduate with a professional diploma

  • Shandong University
  • Computer Application
  • Bachelor's Degree in Science
  • Graduate with a professional diploma

Work Experience

  • Beijing University of Posts and Telecommunications
  • School of Computer Sciences
  • Associate Professor
  • working
  • Institute of Software, Chinese Academy of Sciences
  • Associate researcher
  • off

Social AffiliationsMore>>

  • IEEE member, ACM member, CCF Senior member, CAAI member.

  • He is the reviewer of the scientific and technological projects of the Ministry of Industry and Information Technology of the People's Republic of China, the projects of the Beijing Municipal Science Commission, the National Natural Science Foundation of the People's Republic of China, and the dissertations of the Academic Degrees Center of the Ministry of Education.

  • He is the reviewers of many well-known journals, such as IEEE TSE, TRel, JSS, COSE, FGCS, FCS, Computer Journal, Software Journal, Computer Research and Development etc.

Research Focus

  • Trusted software: intelligent software analysis, software security, program analysis, etc.
  • Intelligent system: intelligent, embedded, real-time operating system, system reliability, intelligent service, etc.

Research Group

We are developing trusted software and intelligent systems. We believe that in this information age, software defines everything. Software and systems should be friends of users, intelligent and trusted. We study the theoretical methods and technologies to make them correct, secure, reliable and intelligent.