相册


基本信息 The basic information
姓名: 刘志明

学院: 软件学院


学历: 博士研究生毕业

学位: 哲学博士


职称: 教授

职务:


学科: 软件工程,计算机科学与技术-计算机软件与理论





工作经历 Work Experience
--- 2021年 -- ：中西北工业大学， 任教授、博导和智能嵌入式系统研究中心（CIES）主任
--- 2016年 -- 2020年：中国西南大学，任教授、博士导师和软件研究与创新中心（RISE）主任
--- 2013年 -- 2015年：伯明翰城市大学，任讲席教授，软件工程研究中心主任，主要从事教学、科研、科研管理、研究生培养。
--- 2002年 -- 2013年：联合国大学国际软件研究所（UNU-IIST），任研究员/高级研究员，主要从事科研、博士生、博士后、访问研究员的知道培养，以及讲授专业培训课程
--- 1994年 -- 2002年：英国莱斯特（Leicester）大学，任大学讲师（永久合同），主要从事教学、科研和管理
--- 1988年 -- 1994年：英国华威（Warwick）大学，任项目研究助理（Research Associat）/博士后研究员（Postdoctoral Research Fellow），做科研和教学助理工作
--- 1982年 -- 1988年：解放军信息工程学院（现解放军信息工程大学），任数学教员，教授数理逻辑、计算复杂度理论等课
--- 1985年 -- 1987年：中科院软件所读硕士研究生期间曾讲授计算范畴论、形式语义学。

















教育经历 Education Experience
--- 1978年 -- 1982年：解放军洛阳外国语学院，数学专业学士学位
--- 1985年 -- 1988年：中国科学院院软件所，计算机科学硕士学位
--- 1988年 -- 1991年：英国华威（Warwick）大学，计算机科学博士学位



教育教学 Education And Teaching
--- 1983年 -- 1985 年：讲授本科数学专业的“数理逻辑”和“计算机复杂度理论
--- 1986年 -- 1987年：在中科院 研究生院和北京航空航天学院研究生讲授”计算范畴论“
--- 1994年 -- 2001年：在英国莱斯特（Leicester）大学讲授本科的“并发程序程序设计（Concurrent Programming）”、“并发与通信理论（Concurrency and Communication）”、“软件设计与开发（Software Design and Development）”。
--- 2002年 -- 2013年：在联合国国际软件研究所（UNU-IIST）讲授“基于关系语义理论的程序设计方法（Relational Method for Program Design)"，“模型驱动的软件工程方法（Model-Driven Software Engineering）”、“并发与通信理论（Concurrency and Communication）”、“容错程序设计和验证的形式化方法（Formal Design and Verification of Fault-Tolerant Programs）”。
--- 2013 -- 2015： 在英国伯明翰城市大学给本科生讲授”软件建模与设计（Software Modelling and Design）“，给研究生讲授”统一建模理论（Unified Theory of Software Modelling）“。
--- 2016 -- 2020: 在中国西南大学为本科生讲授“模型驱动的软件工程方法（Model-Driven Software Engineering）”、为研究生讲授”面向计算机科学的数理逻辑“



招生信息 Admission Information
--- 西北工业大学软件学院：招收学术和专业硕士研究生，招收博士研究生
--- 西南大学计算机与信息科学学院（兼职讲席教授）：招收学术和专业硕士研究生，招收博士研究生
--- 南京航空航天大学计算机科学学院（兼职博导）：招收博士研究生
--- 研究方向：
软件理论与方法、形式化方法、并发理论、基于数据的AI和基于推理的AI的融合理论；
人机物融合系统、物联网系统架构和应用的建模和设计方法；
软件设计、开发和运维的智能化放、技术和基础；
智能化软件的工程方法的理论基础 - 智能软件的可解释性、可证明性、可组合性、可控制性；
软件设计、开发和运维的智能化方法、技术和基础；
新兴软件系统设计、开发、综合和运维的集成式技术平台和开发环境；
欢迎学生自己提议研究方向






荣誉获奖 Awards Information
--- 2012年荣获澳门特别行政区首届科学技术奖的自然科学二等奖，获奖成果：rCOS形式化模型驱动软件开发方法
--- 2015年获选国家特聘专家 （创新长期）
--- 2019年获选重庆市学术技术带头人



科学研究 Scientific Research
研究方向集中在计算机软件理论与方法包括
--- 程序语言的形式语义学研究
--- 可信系统与软件建模、设计与验证
--- 模型驱动的软件架构建模与设计
--- 人机物融合计算的计算模型和软件架构建模
--- 嵌入式软件的建模、程序综合、可调度性性分析、技术和工具中和平台
--- 软件、设计、验证、开发的智能化方法基础理论、技术和工具
--- 智能化软件的可信性建模、验证、组合与集成
--- 基于学习的和机遇推理的智能综合理论



学术成果 Academic Achievements
长期从事软件理论与方法领域的教学和研究，包括高可信软件、计算机安全、括模型驱动的软件开发方法、形式化方法、人机物融合泛在计算系统体系机构建模与设计方法和可信及可解释的人工智能等。有影响的代表行成果包括与博士Mathai Joseph教授、周巢尘院士和何积丰院士等科学家合作分别建立的


--- 基于模型转换的容错系统设计和验证方法
--- 支持系统可靠性分析的概率时段演算
--- 形式化模型驱动的面向对象和基于构件的软件方法rCOS


*** 在研究领域的主流期刊可会议发表文章150篇以上，详细信息见DBLP：https://dblp.org/pid/l/ZhimingLiu1.html。
*** 多次受邀在国际国内的会议做特邀报告
*** 曾多次参与欧盟和中国国家自然科学基金为组织的研究发展规划研讨会
*** 并主持和参与了境外、境内和国际合作项目多项。