刘志明 Zhiming Liu

教授, 博士导师,研究中心主任

西北工业大学 西北工业大学智能嵌入式软件研究中心/软件学院 & 西南大学软件研究与创新中心

软件理论与方法 , 人机物融合泛在计算及系统 , 形式化方法 , 嵌入式软件 , 学习赋能软件理论与工程方法

简介  ABOUT

动态   NEWS

学术   ACADEMIC

刘志明教授长期从事软件理论和方法领域,尤其是形式化方法与模型驱动软件工程方法的研究。其主要成果包括基于模型/规约转化的容错程序设计与验证、概率时段演算(Probabilistic Duration Calculus)及可靠性规约和证明、和基于构件的形式化模型驱动软件工程方法rCOS。其代表性著作150余篇,发表在包括ACM Transactions on Programming Languages, Formal Aspects of Computing, Science of Computer Programming以及Theoretical Computer Science等在内的形式化方法领域顶级期刊及主流学术会议上。其rCOS形式化方法曾获得第二届澳门特别行政区自然科学二等奖。刘志明教授于2016年1月入选第十一批国家“特聘专家计划”并于2016年1月全职加入西南大学(中国重庆),领导创建西南大学软件研究与创新中心(the Centre for Research and Innovation in Software Engineering, RISE);子2021年起加入西北工业大学软件学院,领导建设“智能嵌入式软件研究中心(CIES)”,中心位于西北工业大学太仓校区,依托软件学院和陕西省嵌入式系统重点实验室,研究方向包括

1.软件理论与方法:并行与分布式计算理论、实时多核多线程计算理论、智能软件理论与方法,软件形式化方法,软件的智能开发方法,人机物融合泛在计算理论以及系统工程方法。

2.集成开发技术和开发环境:嵌入式软件系统架构建模和需求规约语言;模型设计、模型转换、分析、验证、代码生成与仿真测试技术和工具,模型驱动的智能化软件构造与重用技术及工具平台。

3. 典型应用示范:面向国家重大战略需求,围绕航空航天工业和工业制造等领域的嵌入式软件的发展需要,进行上述理论、方法、技术和工具平台的示范性应用和技术创新与转化

刘志明教授于1991年在英国华威大学获得博士学位,并于1991-1994年间在华威大学完成博士后研究;1994-2005年,担任莱切斯特大学讲师;2002-2015年相继担任澳门联合国大学国际软件技术研究所(UNU-IIST)研究员、高级研究员;2013-2015年,担任英国伯明翰城市大学软件工程系教授。他担任的学术职务包括:中国计算机学会会员,英国计算机协会会士,ACM高级会员;同时也是国际学术会议ICTAC, SEFM, FACS和SETTA的发起人。

欢迎访问

The Centre for Research and Innovation in Software Engineering (RISE) at

http://www.swu-rise.net.cn/

个人网页:

英语: http://www.swu-rise.net.cn/zhiming.liu

中文:http://computer.swu.edu.cn/zhimingliu


CONTACT BY SCHOLAT
想与我进行学术交流?
立即通过学者网的 工具与我联系!
Https://www.scholat.com/zhimingliu
Email:  
联系地址 :   西安市西北工业大学长安校区启翔楼402室
扫一扫,访问我的主页
SCHOLAT.com 学者网
ABOUT US | SCHOLAT