姓名:
刘志明
性别:
男
学历:
博士
职称:
教授
部门:
计算机科学系
电话:
+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)等国际会议。
论文与著作详见以下链接:- 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