Li Wei, male, Han nationality, is a native of Beijing. He was born in 1943, graduated from Beijing University, and obtained a doctorate in computer science from Edinburgh University in Scotland in 1983. He is a professor of computer science and engineering at Beihang University and director of the State Laboratory for Software Development. Li is also a member of the Academic Degrees Committee of the State Council and a member of the 10th CPPCC. He was selected to be an academician of the Chinese Academy of Sciences in 1997 and appointed as president of Beijing University of Aeronautics and Astronautics (also known as Beihang University) in 2002.
His research focuses on computer science theory, software technology and Internet applications. In 1995, Dr. Li won second place in the National Awards for Natural Sciences for his research in programming theory and methodology. In 1996, he achieved first prize in the Ministry of Aviation for Progress in Science and Technology Awards for his leadership in the development of inference workstations. In the field of mathematical logic, he pioneered the theory of sequences and limits of formal systems, receiving the Guanghua Award and the He Liang He Li Award for Progress in Science and Technology.