中文

Li Wei

Release time:July 27, 2016

Li Wei (1943.6—) is a computer scientist. He graduated from the Department of Mathematics and Mechanics at Peking University in 1966 and has been teaching at Beihang University (formerly Beijing Institute of Aeronautics) since then. After four years of graduate study at the University of Edinburgh, he obtained his PhD degree in computer science there in 1983. He has been Professor in the School of Computer Science and Engineering at Beihang University since 1986 and served as President of Beihang University from 2002 to 2009. He was elected as a member of the Chinese Academy of Sciences in 1997. Currently, he serves as Director of the State Key Lab of Software Development Environment, Member of the National Educational Advisory Committee.

In his early research on concurrent programming languages (CPL), Prof. Li introduced structural operational semantics about synchronization, communication, and exception handling for Ada and other practical CPL and established the theory of correctness for translation between different CPL, which pioneered the comparative study of CPL. He has been working on the formalization of processes of scientific discovery for more than a decade and established a formal system, called R-calculus, which can automatically revise scientific theories or knowledge bases in an optimized way when conclusions predicted by the theories or bases are refuted by facts of experiments and observations. He has also developed the theory of limits for version sequences of knowledge bases and proposed the formalism of proschemes to describe and to control the evolution of scientific theories or knowledge bases. As leader of the expert team of a national project of the Natural Science Foundation, Prof. Li participated in the creation of the first IPV6 trial net in China in 1998. From 1999 to 2008, he was Chief Scientist consecutively for two projects in the National Basic Research (973) Program of China.

Prof. Li has published over 100 research papers and six monographs. He received many awards and honors for his scientific achievements and administrative service, including the National Natural Science Award in 1995, the Ho Leung Ho Lee Award for Progress in Science and Technology in 1998, and the Tsiolkovsky Medal of the Russian Cosmonautics Federation in 2007.