Professor Wei Li

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

Honors



Last update: April 27, 2012


Valid HTML 4.01 Strict