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.