刘志明 (电脑科学家)
![本页使用了标题或全文手工转换](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
此条目需要补充更多来源。 (2023年7月5日) |
刘志明 | |
---|---|
![]() 刘志明教授在英国牛津,摄于2015年 | |
出生 | ![]() | 1961年10月10日
国籍 | ![]() |
公民权 | ![]() |
母校 | 中国科学院 华威大学 |
知名于 | rCOS |
科学生涯 | |
机构 | 莱斯特大学 联合国大学国际软件技术研究所 伯明翰城市大学 西南大学 |
博士导师 | Mathai Joseph |
受影响自 | 周巢尘 何积丰 Anders P. Ravn |
刘志明(1961年10月10日—),电脑科学家,英国电脑协会高级会士,现任西南大学电脑与资讯科学学院教授[1]。
生平
出生于中华人民共和国河北省,后在河南洛阳学习,并于1982年获取数学学士学位。1988年,获取中国科学院软件研究所电脑科学硕士学位;1991年获得英国华威大学的博士学位,博士论文为《基于模型转换的容错程序》(英语:Fault-Tolerant Programming by Transformations)。
获得博士学位后,刘志明于1991年至1992年间以客座科学家身份在位于Lyngby的丹麦理工大学电脑科学系工作。随后返回英国华威大学,任博士后研究员至1994年10月,期间研究实时程序和容错软件的规范技术。1994年至1995年,前往莱斯特大学担任电脑科学讲师。2002年至2013年期间先后在联合国大学国际软件技术研究所(UNU-IIST)担任研究员和高级研究员。2013年10月再赴英国,在伯明翰城市大学担任软件工程教授。2016年,刘志明获“千人计划”资助,转岗到中国重庆西南大学担任教授。
参考资料
- ^ 刘志明-计信院新-西南大学. cis.swu.edu.cn. [2023-07-05]. (原始内容存档于2023-08-29) (英语).
外部链接
- Zhiming Liu在数字书目索引与图书馆项目中的页面
- 由Google学术搜索索引的刘志明出版物
|