论坛简介：
计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）是在原高可信软件实验室的基础上发展起来的，实验室由段振华教授于2003年10月创建。2005年10月经校学术委员会正式批准成立研究所并更名为计算理论与技术研究所，现研究所所长为田聪教授。享受国务院政府津贴1人，陕西省省部级人才1人，省级青年人才1人，校学术振兴计划首席专家1人，CCF会士1人，CCF杰出会员1人。入选省级创新团队。研究所围绕保障安全攸关软件系统可信性的重大技术挑战问题，开展软件验证方法和核心技术研究，以MSVL统一程序验证方法和抽象精化方法为核心研发了国产的安全攸关软件资源共享和协同验证平台MSV，为我国航天和卫星导航系统软件的发展提供了关键技术支撑和实践指南。
值此我校建校90周年之际，为营造校庆氛围，激发广大师生、院友参加校庆活动的热情，ICTT特邀西安邮电大学、商汤科技、百度等单位的优秀院友，通过在线主题报告的形式，围绕学科前沿及科技创新的重大问题开展学术研讨，并对校企合作、学生就业等问题进行交流，期待促进伟德betvlctor体育下载、ICTT的良性发展，扩大我校计算机学科的知名度与影响力。
论坛组织：
主办：
伟德betvlctor体育下载计算理论与技术研究所
论坛主席：
田聪教授、段振华教授
论坛副主席：
王小兵副教授
论坛安排：
论坛时间：2021年9月25日（周六）
论坛形式：线上
参与方式：腾讯会议（会议号406 047 7335）
议程安排
报告嘉宾简介
舒新峰
西安邮电大学
伟德betvlctor体育下载院友
报告题目：基于PTL的面向对象软件模型检测技术研究
报告摘要：
面向对象是目前业界软件开发的主要方法，面对大量采用面向对象方法开发的软件系统，如何保证软件系统的安全性和可靠性成为学术界和产业界面临的重要问题。模型检测是一种备受推崇的形式化验证手段，能够由算法自动搜索系统的各条执行路径并给出可能存在的反例路径，但依然需要验证人员需要具备良好的数理逻辑知识。本报告围绕在工业界推广基于PTL的模型检测技术，介绍面向模型检测的可视化建模、系统性质描述、PTL判定算法优化、可视化模型到MSVL转换等方面的探索与实践。
报告人简介：
舒新峰，博士，教授，硕士生导师，西安邮电大学计算机学院软件工程系主任、专业负责人，陕西省精品资源共享课程“软件工程”课程负责人。2010年毕业于伟德betvlctor体育下载计算机学院计算理论与技术研究所，研究方向为形式化验证技术、软件工程、智能信息处理。主持陕西省重点研发计划项目等纵向课题4项，核心参与省部级以上纵向课题6项；主持及核心参与横向课题10余项。主持和核心参与省部级教学研究项目8项。在TCS、软件学报、COCOON等期刊和国际会议上发表SCI/EI论文20余篇，申请国家发明专利6项，获软件著作权8项，出版教材4部，获陕西省科技成果奖和教学成果奖各二项。
聂鹏程
商汤科技
伟德betvlctor体育下载院友
报告题目：信息技术发展新趋势与新基建
报告摘要：
从AI公司Deep Mind推出预测98.5%人类蛋白质结构的AlphaFold2模型，到OpenAI推出的能自动写代码的Codex系统，从销量暴涨的VR头显Oculus Quest 2，到不断普及的L3级别自动驾驶系统，从最近火热的新概念元宇宙，到跑酷跳舞的机器人阿特拉斯，不同领域的星星之火，正在勾勒出下一个信息时代的模糊轮廓。如果说一个信息时代可以从基建、管道、终端和应用四个维度来衡量，那么下一个信息时代的这四颗龙珠是什么？本报告将追本溯源介绍信息技术的演变过程，以及商汤科技在下一代基础设施方面的实践与思考。
报告人简介：
聂鹏程，博士，商汤科技AI超算系统与技术研发总监，SC、JPDC评审专家，InfoQ极客时间《分布式技术原理与算法解析》专栏作者，一直致力于分布式技术的研究和落地，2013年毕业于伟德betvlctor体育下载计算机学院计算理论与技术研究所，研究方向为并行与分布式计算。曾任职IBM资深架构师，负责HPC、超算相关的设计和研发工作，落地场景包括全球Top2超级计算机Summit等。曾作为华为分布式Lab资深技术专家，主导和规划微服务平台、函数服务平台等项目的设计和开发工作，落地场景包括5G无线接入网、核心网、华为消费者云、智慧家庭等。
曹杨
百度
伟德betvlctor体育下载院友
报告题目：下一代网络与交互：AIoT及VR技术演进及产业落地实践
报告摘要：
我们正站在IoT和AI技术融合的关键交叉路口，迈向“万物智联”时代。IoT网联化和AI智能化的融合产生新的价值空间：一方面AI寻求IoT来拓展新的应用场景和数据养料，另一方面IoT寻求AI来增强网联化及数据价值。“云-边-端”全覆盖的AIoT扩大了场景边界，人与物能做出更复杂的基于语音及视觉的交互，能更好的结构化并理解终端采集到的感知数据。再往前看，人与物的智联化及虚拟化会把整个产业推向下一代网络：全真互联网，在万物虚实融合的Metaverse元宇宙空间中，大部分人的工作和生活方式将会改变。本报告将浓缩的介绍下一代网络与交互技术中关键的AIoT及VR技术的演进趋势，以及产业界在智联化升级和虚拟现实最新的应用实践案例。
报告人简介：
曹杨，硕士，百度智能云物联网部总经理，负责AIoT和VR产品研发。2007年毕业于伟德betvlctor体育下载计算机学院计算理论与技术研究所，研究课题方向为P2P网络技术。先后就职于PPLive、腾讯、百度，从事基于流媒体及文件的大规模P2P网络传输、浏览器、虚拟现实及智能物联网等技术的产品研发及应用。硕士期间曾发表LNCS论文1篇；累计申请专利10余件。
论坛主席
田聪 伟德betvlctor体育下载
伟德betvlctor体育下载院友
个人简介：
田聪，教授，博导，研究生院常务副院长。省级青年人才。2010年至2011年在日本Hosei大学任HIF研究员。现任国际期刊JOCO编委，软件学报编委，伟德betvlctor体育下载学报编委，CCF杰出会员、青工委、女工委委员。主持（在研）国家自然科学基金重点项目1项，面上项目、青年基金各1项。发表SCI、EI学术论文100余篇，专著1章。获教育部自然科学一等奖和陕西省科学技术一等奖各1项。
段振华 伟德betvlctor体育下载
个人简介：
段振华，教授，博导，英国纽卡斯尔大学理学博士，谢菲尔德大学工学博士。1989年至2002年在英国期间，先后在纽卡斯尔、阿尔斯特和谢菲尔德大学任研究员，在IBM、空客和西门子合营公司、Altera欧洲研发中心（现属Intel）任高级软件工程师。2003到伟德betvlctor体育下载工作，华山学者礼聘教授，校学术振兴计划首席专家，IEEE高级会员，CCF会士、网络信息服务专委会副主任，自然科学基金委信息科学部专家组成员，任国际期刊DMAA编委，享受国务院政府特殊津贴。主持完成（或在研）国家自然科学基金重点项目3项、重大（重点）国际合作项目2项、973课题1项、面上项目3项、原总装备部国防预研项目3项等总计获资助2200多万元。发表SCI、EI学术论文260多篇，英文专著2部，编辑会议文集11部，任重要国际会议PC Co-chair 12次，PC成员50余次，在国内外做特邀学术报告20多次。获教育部自然科学一等奖和陕西省科学技术一等奖各1项。
论坛副主席
王小兵 伟德betvlctor体育下载
伟德betvlctor体育下载院友
个人简介：
王小兵，副教授，博导，计算机科学系党支部书记，系主任。2014至2015年美国德克萨斯大学达拉斯分校访问学者。CCF高级会员，2012年校优秀教师，2016年校师德先进，2021年校优秀教师。主持国家自然科学基金面上项目2项，陕西省重点研发计划1项，教育部产学合作协同育人项目3项。发表SCI、EI学术论文40多篇。获陕西省科学技术一等奖、陕西省高等教育教学成果奖各1项。
