刘志明 (计算机科学家)
中国计算机科学家
刘志明(1961年10月10日—),電腦科學家,英国计算机协会高级会士,现任西南大学计算机与信息科学学院教授[1]。
刘志明 | |
---|---|
刘志明教授在英国牛津,摄于2015年 | |
出生 | 中国河北省 | 1961年10月10日
国籍 | 中华人民共和国 |
公民权 | 英国 |
母校 | 中国科学院 华威大学 |
知名于 | rCOS |
科学生涯 | |
机构 | 萊斯特大學 聯合國大學國際軟件技術研究所 伯明翰城市大學 西南大学 |
博士導師 | Mathai Joseph |
受影响自 | 周巢尘 何积丰 Anders P. Ravn |
生平编辑
出生于中华人民共和国河北省,后在河南洛阳学习,并于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学术搜索索引的刘志明出版物
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄