刘志明研究生导师介绍
姓名刘志明 性 别:  行政职务 :
专业技术职务教授 办公电话 导师类别兼职博士生导师
最后学历博士毕业 最后学位博士 最后毕业学校University of Warwick
电子邮件zhimingliu88@swu.edu.cn  
工作单位西南大学    
学科研究方向一:
专业名称软件工程 (招收博、硕士研究生)                                                                  学科代码11083500
软件理论与方法
主要研究兴趣在于新型的分布式计算、通信、控制和服务网络系统中的软件理论与方法,研究计算、知识表示于推理、数据分析和服务的理论融合和支持计算功能构件、知识构件、数据分析系统和服务动态集成和演化的软件构架模型。

同时也涉及软件形式化方法,数据分析与人工智能的研究。
个人简历(学历、学术经历及社会兼职):

工作经历

- 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万)
指导研究生情况:

目前4个硕士研究生,3个博士研究生
备注: