Wei Li

Wei Li is a Professor at the School of Computer Science and Engineering, Beihang University (since 1986), and Director of the State Key Laboratory of Software Development Environment (since 1992). He has held visiting positions at institutions including the University of Minnesota and Universität Saarlandes.

• Education:
  • Ph.D. in Computer Science, University of Edinburgh (1979–1983)
  • B.Sc. in Mathematics, Peking University (1961–1966)

Research Interests span Mathematical Logic, Concurrent Programming Languages, Satisfiability Problems, Artificial Intelligence, Software Crowdsourcing, and Big Data. His work includes foundational contributions to logical frameworks for belief revision and specification evolution, with applications in software trustworthiness and constraint satisfaction.

Publication Trends reveal a focus on formal methods (R-calculus, open logic systems), software crowdsourcing, and phase transitions in constraint satisfaction problems. His research integrates theoretical rigor with practical applications in information science and engineering.

Scientific Awards include:

• Chinese Government Award for Publishing (2017)
• Tsiolkovsky Medal (2007)
• National Prize of First Class for Achievements in Education (2005)
• Ho Leung Ho Lee Prize (1998)
• Academician, Chinese Academy of Sciences (1997)

He also supervised 8 post-docs, 52 Ph.D., and over 100 graduate students.