（1）基本信息 刘志明 – ZHIMING LIU
教授、博士、博士生导师
电话:
+86-(0)23-68367358
电邮：zhimingliu88@swu.edu.cn
办公室：25教学楼1717室
地址：bet体育365官网正规计算机与信息科学学院，重庆市北碚区天生路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月受聘bet体育365官网正规计算机与信息科学学院教授。
|
