4月26日上午，德国科学院院士、欧洲科学院院士、莱布尼兹奖得主、德国巴伐利亚数字化中心的创始主席Manfred Broy院士受邀来校为2019年第五届西南大学可信软件系统工程（国际）春季学校（SETSS 2019）举办专题讲座，王进军副校长在国际学院签约室与之会见。

王校长对Manfred Broy院士的来访表示欢迎，简要介绍了学校的基本情况之后，王校长希望Manfred Broy院士今后与计算机与信息科学学院 软件学院开展更多学术合作。陪同会见的国家“千人计划”专家、软件研究与创新中心（RISE）主任刘志明教授介绍了与Manfred Broy院士的学术合作情况，Manfred Broy院士已经来中国多次，但这是他第一次来到重庆。Manfred Broy院士感谢王校长的会见，表示非常愿意与学校开展更多合作。

Manfred Broy院士作为软件系统工程、软件架构、形式化方法等软件工程（学科）领域的著名专家，获得了计算机科学领域除图灵奖之外的所有荣誉。Manfred Broy院士主要研究系统建模，系统和系统组件的规约和精化等软件系统工程领域的理论和实践问题，他所领导的研究小组在多个工业项目中应用基于数学的技术将软件工程的实用方法和数学的严谨性结合起来。他的主要研究领域包括需求工程、软件和系统架构、构件、软件开发流程、软件演化和软件质量。CASE 工具 AutoFocus 就由Manfred Broy院士的研究小组开发。

计算机与信息科学学院 软件学院院长肖国强、副院长贾韬陪同参加了会见。

（国际合作与交流处费元兵供稿供图  编辑 韩笑 审核 周翱）