zhiming liu in scholat-凯发备用网址

刘志明2021年1月全职加入西北工业大学软件学院人教授、博士生导师，智能嵌入式软件研究中心（cies）主任，同时任西南大学外籍讲席教授（兼职）、博士生导师和软件研究以创新中心（rise）主任；于2016年1月至2020年12月在西南大学任软件工程教授和软件研究以创新中心（rise）主任，大学本科主修数学并与1982年获学士学位，1988年从中科院软件所获计算机科学硕士，1988年留学英国warwick大学1991年获得计算机科学博士学位。历任英国warwick大学ra和博士后研究员 （1988-1994）、丹麦技术大学访问科学家（1991-1992）、英国leicester大学讲师（1994-2005）、联合国大学国际软件技术研究所（unu－iist）研究员、高级研究员（2002-2013）、英国伯明翰城市大学讲席教授和软件工程研究中心主任（2013-2015）。曾任意大利pisa大学教授和博士生导师，澳门大学兼职博士生导师。主要研究方向是软件理论与方法，形式化方法和模型驱动软件工程方法。在国内国际知名的科研成果包括基于模型转换的容错软件和实时程序的建模、规约、分析和证明理论与方法， 概率时序演算（probabilistic duration calculus）及可靠性规约和证明，rcos形式化模型驱动软件设计方法。在主流国际杂志和会议发表文章和编辑书籍、杂志特刊级国际会议录150多篇／卷。其中包括acm toplas、theoretical computer science、science of computer programming、formal aspects of computing、中国科学等等杂志，以及国际软件工程大会（icse）、国际形式化方法大会（fm）等国际会议。2012年9月获得澳门特别行政区首届科学技术奖的自然科学二等奖。刘志明是国际会议facs（2013-今），ictac （2014-今），sefm（2014-今）和setta （2015-今），并历任这些会议的指导委员会主席和委员至今，曾任10多个国际会议的程序委员会主席以及近百个国际会议程序委员会委员，是theoretical computer science， formal aspects of computing 以及science of computer programming国际杂志多期特刊的编辑，他和16个国家的30多个单位的科学家共同发表过文章和编著过著作。 刘志明2015年入选第十一批国家****专家，他是是英国计算机协会会士（fellow of british computer society），中国计算机学会（ccf）高级会员和acm高级会员。