为响应国家“一带一路”战略部署,增进中国和塞尔维亚两国传统友谊,促进学科发展,尤其是尊龙凯吋官方网站特色可信软件学科方向建设,12月1日至12月7日,尊龙凯吋官方网站副院长张敏副教授、朱惠彪教授、缪炜恺副教授,代表学院访问塞尔维亚诺维萨德大学与贝尔格莱德大学。
学院代表团受到了诺维萨德大学技术科学学院计算机工程系主任Popovic教授和学院教师及学生的热烈欢迎。双方举行了为期两天的学术研讨会,围绕“可信软件”主题,就形式化建模与验证理论与可信软件工程方法展开交流与研讨。
代表团成员分别围绕形式化建模语言与语义、形式化验证算法和嵌入式控制软件需求工程方法做学术报告。诺维萨德大学技术科学学院的教授与研究团队亦安排了十余场报告,并邀请三位老师参观了学院创设的RTRK公司。
在RTRK公司,代表团介绍学院支撑的上海工业控制安全创新平台运行情况,双方就理论研究和工程应用推广、未来依托“一带一路”支持下的科研项目合作等核心问题进行深入交流。
通过交流,双方均发现了研究内容上的高度互补和协作潜力,并形成进一步合作的协作备忘录。Popovic主任将应邀于2020年回访尊龙凯吋官方网站,开展进一步的深入合作。在诺维萨德大学,Popovic教授与学院代表团顺访了孔子学院,与中方院长陈晦和孔子学院师生进行了愉快的交流。
12月5日,学院代表团访问贝尔格莱德大学。三位教师与与贝尔格莱德大学电子工程学院院长Tomasevic等多位教授探讨发展两校尤其是学院学科合作方案,并形成了初步的联络与协作机制。
此次访问,学院代表团专程前往中国驻南联盟使馆旧址,纪念于1999年5月8日在美国对我大使馆袭击中罹难的三位烈士。三位老师佩戴党员徽章,瞻仰烈士纪念碑。
科学技术领域的发展与国家荣辱息息相关。对于从事以软件工程学科研究的师生而言,近年来国际形势风云变幻,更昭示着核心技术领域必须牢固掌握在自己手中。学院何积丰院士倡导的软件领域“自主可控”理念也与国家战略高度一致,学院一直以来也崇尚胸怀家国的育人理念。历史的记忆不可磨灭,也必将激励一代又一代科技工作者共同努力,为祖国忠诚而勤奋工作,共同积极而自信地面对新的历史挑战。
诺维萨德大学和贝尔格莱德大学均为塞尔维亚顶尖高校,在软件工程领域具有深厚积累和基础。通过此次出访,学院和上述两校建立了良好的协作基础,将对双方的科研和院系建设形成更大助力,亦将增进两国历史悠久的传统友谊。