宝马娱乐在线城-宝马娱乐在线

来自 信息工程 2019-10-01 21:35 的文章
当前位置: 宝马娱乐在线城 > 信息工程 > 正文

第七届高可信软件技术研讨会暨高可信软件技术

本届会议联合主席谢涛副教授和张路教授首先致欢迎辞。作为高可信软件技术教育部重点实验室的重要学术活动之一,一年一度的研讨会旨在邀请软件工程机及其相关领域的海内外专家共同研讨高可信软件技术的构造和运行机理等重要挑战性问题;为了提升国际交流与合作的力度,今年做出与引智基地学术研讨同期进行的安排。随后,引智基地学术大师、爱荷华州立大学计算机科学系张可昭教授和引智基地国内负责人、信息学院副院长谢冰教授介绍了基地启动后的建设情况。包括佛罗里达大学/兰卡斯特大学Sumi Helal教授、伊利诺利大学芝加哥分校Ouri Wolfson教授、卡耐基梅隆大学James Herbsleb教授、田纳西大学Aduris Mockus教授在内的引智基地专家分别从物联网、智慧城市、软件供应链等多个角度阐述了他们对高可信软件的理解。会议还特邀香港中文大学吕荣聪教授等从不同的侧面阐述未来软件的新挑战。

高可信软件技术教育部重点实验室、高可信软件技术学科创新引智基地的数十位教师,以及其他高校的十余位同仁与会。

2017年12月13—14日,由北京大学高可信软件技术教育部重点实验室、北京大学信息科学技术学院软件研究所主办的第七届高可信软件技术研讨会暨高可信软件技术学科创新引智基地学术研讨会在北京大学英杰交流中心举行,围绕可信软件所面临的挑战展开为期一天半的学术交流。会议由引智基地多位骨干成员共同主持。

本文由宝马娱乐在线城发布于信息工程,转载请注明出处:第七届高可信软件技术研讨会暨高可信软件技术

关键词: