劉志明 (計算機科學家)
![本頁使用了標題或全文手工轉換](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學術搜索索引的劉志明出版物
|