计科院计算理论与技术研究所院友学术论坛举办

为营造校庆氛围，激发广大师生、院友参加校庆活动的热情，9月25日，计算机科学与技术学院计算理论与技术研究所（ICTT）举办了院友学术论坛。论坛邀请了西安邮电大学、商汤科技、百度的优秀院友，通过线上主题报告的形式，围绕学科前沿及科技创新的重大问题开展学术研讨，并对校企合作、学生就业等问题进行交流，期待促进计算机科学与技术学院、ICTT的良性发展，扩大我校计算机学科的知名度与影响力。本次论坛主席由田聪教授、段振华教授担任，副主席由王小兵副教授担任。

学术论坛由王小兵主持，西安邮电大学计算机学院软件工程系主任舒新峰教授，商汤科技AI超算系统与技术研发总监聂鹏程，百度智能云物联网部总经理曹杨先后做了精彩的报告。

舒新峰教授以“基于PTL的面向对象软件模型检测技术研究”为题，围绕在工业界推广基于投影时序逻辑（PTL）的模型检测技术，介绍了近年来研究团队在面向模型检测的可视化建模、系统性质描述、PTL判定算法优化、可视化模型到MSVL转换等方面的探索与实践。聂鹏程以“信息技术发展新趋势与新基建”为题，追本溯源介绍了信息技术的演变过程，以及商汤科技在下一代基础设施方面的实践与思考。曹杨以“下一代网络与交互：AIoT及VR技术演进及产业落地实践”为题，介绍了下一代网络与交互技术中关键的AIoT及VR技术的演进趋势，以及产业界在智联化升级和虚拟现实最新的应用实践案例。每位嘉宾报告结束后，与会人员对其中感兴趣的问题开展交流，嘉宾进行了详细解答，讨论场面热烈、气氛活跃。

最后，本次论坛主席段振华教授、田聪教授依次进行了总结。他们对各位院友百忙之中前来参加本次论坛，与计科院师生分享交流科研界、产业界的成果表示衷心感谢，并希望他们从项目合作、学生招聘等方面大力支持计科院、ICTT的发展，同时也邀请他们在10月份返回母校参加西电建校90周年的庆典活动。

计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）以形式化方法为基础，围绕保障安全攸关软件系统可信性的重大技术挑战问题，开展软件验证方法和核心技术研究，以MSVL统一程序验证方法和抽象精化方法为核心研发了国产的安全攸关软件资源共享和协同验证平台MSV，为我国航天和卫星导航系统软件的发展提供了关键技术支撑和实践指南。