导师姓名：刘志明
性别：男
人气指数：61

所属院校：南京航空航天大学
所属院系：计算机科学与技术学院
职称：教授
导师类型：硕导
招生专业：软件工程


通讯方式 :
电子邮件：zhimingliu88@swu.edu.cn


个人简述 :
工作经历- 1982-1985 年在国内从教；
- 1988-1991 年在英国华威（Warwick）大学做项目研究员（Research Associate）；
- 1991-1992 年在丹麦技术大学做客座科学家；
- 1992-1994 年在英国华威（Warwick）大学做博士后研究员（Postdoctoral Research Fellow);
- 1994-1995 年在英国Leicester大学做计算机科学大学讲师；
- 1992-2013 年在联合国大学国际软件技术研究所（UNU-IIST,澳门）做研究员和高级研究员；
- 2013-2015 年在英国伯明翰城市大学做软件工程讲席教授（终身职务）；
- 2016年1月受聘西南大学计算机与信息科学学院教授（国家“千人计划”项目）；
- 2016年7月受聘南京航空航天大学兼职教授。
教育经历- 1978-1982 年本科数学专业，获学士学位；
- 1985-1987 年在中科院软件所系计算机科学研究生，获硕士学位；
- 1988-1991 年在英国华威（Warwick）大学读计算机科学博士研究生，获博士学位。

科研工作 :
发表学术论文,出版专著情况：
在主流期刊和会议发表和编辑出版150余篇，包括ACM TOPLAS、SCP、TCS、FAOC、STTT等期刊，FM和ICSE等会议
具体请访问
DBLP(http://dblp.uni-trier.de/pers/hd/l/Liu_0001:Zhiming)
ResearchGate(https://www.researchgate.net/profile/Zhiming_Liu7)
Google Scholar(https://scholar.google.co.uk/citations?user=tScVIO0AAAAJ)
科研成果获奖及专利：
学术成就
1. 基于模型／规约转化的容错程序设计与验证
2. 概率时段演算（Probabilistic Duration Calculus）及可靠性规约和证明
3. 基于构件的形式模型驱动软件工程方法rCOS
获奖
澳门特区政府自然科学二等奖
承担的科研项目情况：
目前主持国家千人计划专家科研发展基金（1千万）、国家自然科学基金面上项目一项 （62万），参与重点项目（参与团队负责人）一项 （270万）