［本站讯］5月15日，联合国大学国际软件技术研究所刘志明高级研究员访问软件园校区，并与计算机学院系统结构研究所嵌入式系统课题组师生进行学术交流。双方在科研合作、学生培养方面进行了深入探讨。
　　期间，刘志明研究员作了题为“rCOS:Model-Driven Method for Component Software”的学术报告。在报告中，刘志明研究员讲解了他在最新研究成果——rCOS，一种基于组件的模型驱动软件开发方法。刘志明研究员详细介绍了rCOS的设计思想和发展目标，即通过在软件设计过程中通过集成不同形式化技术和工具，提高软件工程的可预测性和可靠性。此外，刘志明研究员还介绍了联合国大学的办学理念和他研究团队的现状，并与到场师生讨论了模型驱动的形式化分析验证在云计算和物联网行业的应用前景。
　　刘志明，1988年获得中科院软件所的硕士学位，1991年获英国Warwick大学计算机科学博士学位，在计算机科学和软件工程领域从事科研和教育工作25年。他曾就职英国Warwick大学、Leicester大学和丹麦技术大学做博士后、讲师和访问学者，2002年开始就职联合国国际软件技术研究所，现任高级研究员。刘志明研究员主要致力于可靠系统的形式化建模、分析和验证等方面的研究，目前已在主流学术期刊和会议上发表论文80余篇，并编纂多部著作。