Professor Wei Li

Current Address: State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University No. 37 Xueyuan Road, Haidian District, Beijing 100191, P.R China Phone: +86-10-8231-6287 Fax: +86-10-8231-7619 Email: liwei AT nlsde.buaa.edu.cn

Education

[1961/09 - 1966/06]

Peking University, Beijing, China. B.Sc in Mathematics, First Class Honor.

[1979/10 - 1983/01]

University of Edinburgh, Edinburgh, UK. Ph.D. in Computer Science.

Thesis: An operational approach to semantics and translation theory for concurrent programming languages;
Supervisor: Professor Dr. Gordon Plotkin.

Experience in China

[1997/05 - Present]

Member, The Chinese Academy of Science.

[1992/01 - Present]

Director, National Laboratory of Software Development Environment.

[1986/09 - Present]

Professor, School of Computer Science and Engineering, Beihang University, Beijing, China.

Experience Abroad

[1999/05 - 1999/09]

Guest Professor, Department of Computer Science, University of Minnesota, U.S.A.

[1990/10 - 1991/09]

Guest Professor supported by Konrad-Zuse Foundation, Department of Computer Science, Universität des Saarlandes, Germany.

[1986/04 - 1987/08]

Senior Research Fellow, Department of Computer Science, Universität Bremen, West Germany, for the ESPRIT project: PROSPECTRA (program development by specification and transformation) directed by Professor Dr. B. Krieg-Bruckner).

[1984/01 - 1984/03]

Research Fellow, Department of Computer Science, University of Edinburgh.

[1983/07 - 1983/12]

Senior Visiting Research Fellow of Science and Engineering Research Council, U.K. Department of Computer Science, University of Newcastle Upon Tyne, for the SERC-funded project: Theory of Concurrency directed by Dr. P. Lauer.

Publications

For the list of my main publications, please go to this page.

Administration Activities

• Member, The Advisory Committee of the Ministry of Science and Technology, China, 2008 - present.
• Member, The Academic Degrees Committee of the State Council, China, 1986 - present.
• Chairman, The Steering Committee of Education on Advanced Networks, The Ministry of Education, China, 1999 - 2002.
• University President, Beihang University, Beijing, China, January 2002 - June 2009.
• Vice Chairman, The Steering Committee of Advanced Computer Technology of National High-Tech R&D Program, 1987 - 1998.
• Member, The Committee of Science and Technology of the The Ministry of Education, China, 1990 - 1995.
• Editor-in-Chief, Science China - Information Sciences, 2008 - present.
• Editor, Journal of Computer Science and Technology, 1994 - present.
• Editor, International Journal of Advanced Software Technology, Science in China Publisher, 1989 - present.

Honors

• 1998 Prize for Science and Technology Achievements awarded by the HLHL Foundation (Information Science), Hong Kong.
• 1997 First Prize for Science Achievements awarded by the GuangHua Foundation, (Computer Science), Taiwan.
• 1995 Second National Prize for Natural Science awarded by the State Council, (Computer Science).
• 2002 First Prize for Progress of Science and Technology awarded by the Ministry of Education. (Information management system for mobil communication networks)
• 1996 Second Prize for Progress of Science and Technology awarded by the Ministry of Aero-Space Industry. (Scalable networking computer cluster)
• 1994 First Prize for Progress of Science and Technology awarded by the Ministry of Aero-Space Industry. (Advanced workstation for logical inference)
• 1990 First Prize for Progress of Science and Technology awarded by the Ministry of Aero-Space Industry. (Computer aided design for VLSI chips)
• 1988 Second Prize for Progress of Science and Technology awarded by the Ministry of Aero-Space Industry. (Programming methodology).
• 1988 The title of "National outstanding Scientist" issued by the State Science and Technology Council.

Last update: April 27, 2012