基本信息
浏览量:104
职业迁徙
个人简介
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.
研究兴趣
论文共 172 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENTno. 1 (2024): 621-636
Journal of Communications and Information Networksno. 1 (2023): 80-89
Third International Symposium on Computer Engineering and Intelligent Communications (ISCEIC 2022) (2023)
INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS AND NETWORKINGno. 4 (2023): 374-391
MobiSyspp.1-13, (2023)
AAAIno. 9 (2023): 10537-10545
2023 IEEE 20th International Conference on Mobile Ad Hoc and Smart Systems (MASS)pp.487-495, (2023)
引用0浏览0EIWOS引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn