Simone刘志明（西南大学教授）
的有关信息介绍如下：
刘志明，1987年毕业于中国科学院软件所，1991年在英国华威大学获得博士学位。英国计算机协会会士、西南大学教授、南京航空航天大学兼职教授。
现任西南大学软件研究与创新中心主任。
主要从事软件理论和方法领域，尤其是形式化方法与模型驱动软件工程方法的研究。其主要成果包括基于模型/规约转化的容错程序设计与验证、概率时段演算（Probabilistic Duration Calculus）及可靠性规约和证明、和基于构件的形式模型驱动软件工程方法rCOS。
想要了解更多“刘志明（西南大学教授）”的信息，请点击：刘志明（西南大学教授）百科
