English



姓名:
刘志明
性别:
男


学历:
博士
职称:
教授

部门:
计算机科学系
电话:
+86-(0)

邮件地址:
zhimingliu88@swu.edu.cn

研究方向:
软件理论、方法与工具


个人简介
（1）基本信息
刘志明 – ZHIMING LIU
教授、博士、博士生导师
电话: +86-(0)
电邮：zhimingliu88@swu.edu.cn
办公室：25教学楼1717室
地址：西南大学计算机与信息科学学院，重庆市北碚区天生路2号
邮编：400715

（2）专业领域
计算机科学与技术；软件理论与方法；形式化方法；高可信／安全攸关软件

（3）研究方向
软件建模、分析、设计、证明与验证的相关理论、技术和工具；物联网、信息物理融合系统、智慧城市、数据中心等系统与应用软件相关的模型驱动软件设计理论、方法，及基于构件与系统之系统体系结构的分析验证。

（4）应用领域
工作流管理、健康医疗、环境管理、自然灾害危险管理、设计自动化、工业自动化等领域的基于网络的复杂系统的软件支持。

（5）教育经历
- 1978-1982年本科数学专业，获学士学位；
- 1985-1987年在中科院软件所系计算机科学研究生，获硕士学位；
- 1988－1991年在英国华威（Warwick）大学读计算机科学博士研究生，获博士学位。

（6）工作经历
- 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月受聘西南大学计算机与信息科学学院教授。




著作发表情况
长期专注于基于模型／规约转换的容错与实时软件系统的设计和验验证；用于系统可靠性规约和验证的概率时序演算；rCOS基于构件和面向对象软件系统的形式化模型驱动设计和验证方法。在领域主流学术期刊和国际会议上发表著作150多篇／卷，包括：ACM TOPLAS、Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing、Computer Science and Technology、中国科学等国内外学术期刊，以及国际软件工程大会（ICSE)、国际形式化方法大会（FM)等国际会议。


论文与著作详见以下链接：
- DBLP：http://dblp.uni-trier.de/pers/hd/l/Liu_0001:Zhiming
- ResearchGate:https://www.researchgate.net/profile/Zhiming_Liu7
- Academia:https://southwest.academia.edu/ZhimingLiu
-https://en.wikipedia.org/wiki/Zhiming_Liu_(computer_scientist)



荣誉与学术活动任职
（1）学术头衔
- ACM高级会员 － Senior Member of ACM
- 澳门行政区首届科学技术奖自然科学二等奖（2012）
- 英国计算机协会会士 － Fellow of British Computer Society

（2）活动任职
FACS（2003）、ICTAC（2004）、SEFM （2004）和SETTA （2015）发起人，并任FACS和ICTAC指导委员会（Steering Committee）主席至2010年， 任FACS、ICTAC、SEFM和SETTA的指导委员会委员；曾任10多个国际会议的程序委员会主席；曾担任60多个国际会议的程序委员会委员。国际杂志Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing的特刊编辑。



研究生招生
招收计算机、软件工程相关方向的硕士研究生、本硕连读研究生、博士研究生、硕博连读研究生。也敬请国内外同行推荐/保送优秀毕业生。


欢迎电邮联系（zhiming.liu88@outlook.com, zhimingliu88@swu.edu.cn）。

招生简章请下
研究生招生.pdf
ResearchStudents.pdf