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
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.
- Trusted software: intelligent software analysis, software security, program analysis, etc.
- Intelligent system: intelligent, embedded, real-time operating system, system reliability, intelligent service, etc.