跳转到内容

刘志明 (计算机科学家)

本页使用了标题或全文手工转换
维基百科,自由的百科全书
刘志明
刘志明教授在英国牛津,摄于2015年
出生 (1961-10-10) 1961年10月10日63歲)
 中国河北省
国籍 中华人民共和国
公民权 英国
母校中国科学院
华威大学
知名于rCOS英语rCOS (computer sciences)
科学生涯
机构萊斯特大學
聯合國大學國際軟件技術研究所
伯明翰城市大學
西南大学
博士導師Mathai Joseph英语Mathai Joseph
受影响自周巢尘
何积丰
Anders P. Ravn英语Anders P. Ravn

刘志明(1961年10月10日),電腦科學家,英国计算机协会高级会士,现任西南大学计算机与信息科学学院教授[1]

生平

[编辑]

出生于中华人民共和国河北省,后在河南洛阳学习,并于1982年取得数学学士学位。1988年,取得中国科学院软件研究所计算机科学硕士学位;1991年获得英国华威大学的博士学位,博士论文为《基于模型转换的容错程序》(英語:Fault-Tolerant Programming by Transformations)。

获得博士学位后,刘志明于1991年至1992年间以客座科学家身份在位于Lyngby英语Lyngby丹麥理工大學计算机科学系工作。随后返回英国华威大学,任博士后研究员至1994年10月,期间研究实时程序容错软件的规范技术。1994年至1995年,前往萊斯特大學担任计算机科学讲师。2002年至2013年期间先后在聯合國大學國際軟件技術研究所(UNU-IIST)担任研究员和高级研究员。2013年10月再赴英国,在伯明翰城市大學担任软件工程教授。2016年,刘志明获“千人计划”资助,转岗到中国重庆西南大学担任教授。

参考资料

[编辑]
  1. ^ 刘志明-计信院新-西南大学. cis.swu.edu.cn. [2023-07-05]. (原始内容存档于2023-08-29) (英语). 

外部链接

[编辑]