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院士的研究小組開發。

計算機與信息科學學院 軟件學院院長肖國強、副院長賈韜陪同參加了會見。

（國際合作與交流處費元兵供稿供圖 編輯韓笑審核周翱）