刘志明

2020-11-27 10:32 作者:本站编辑 审核: 浏览:

 


 





姓名:

刘志明

性别:

学历:

博士

职称:

教授

部门:

计算机科学系

电话:

+86-(0)23-68367358

邮件地址:

zhimingliu88@swu.edu.cn



研究方向:

软件理论、方法与工具







个人简介

(1)基本信息

刘志明 – ZHIMING LIU
教授、博士、博士生导师
电话:
+86-(0)23-68367358
电邮: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)等国际会议。


荣誉与学术活动任职

(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