11月6日下午，第五届“山海泉”青年学者泰山国际论坛计算机科学与工程学院分论坛在J13-220会议室顺利召开。

本次论坛邀请到：剑桥大学周陈梁、南洋理工大学刘轶轩、中国科学院大学房若民、中国科学院大学任德金、中国科学院大学王贺、西安交通大学李开宇、国防科技大学单咏雪等七位海内外优秀青年学者（在读博士生、在站博士后）分享前沿学术成果、交流未来职业规划等。计算机学院党委书记穆玉兵、副院长赵中英、计算机科学与技术系主任包永堂、信息安全系主任廉文娟、人工智能系主任亓亮、物联网工程系主任李哲，以及张鹏等青年教师代表等20余人参加了本次论坛。

计算机学院分论坛现场

论坛的第一环节由赵中英主持。学院党委书记穆玉兵首先致辞，对七位来访青年学者表示热烈欢迎，然后从学院历史沿革、 、专业布局、师资队伍、人才培养、科学研究等方面介绍学院总体情况。穆书记特别指出，“山海泉”青年学者泰山国际论坛至今已成功举办五届，已成为学校招才引智、对接海内外优秀青年学者的重要平台，真诚期待各位学者能够加入计算机学院，在科大这片沃土上成就事业与未来。

学术交流环节由各系主任分别主持。剑桥大学周陈梁作了题为“面向多模态与三维世界建模的生成式世界智能”的报告，围绕语义可控生成、三维结构生成、神经材质物理一致三个层次分享研究成果。南洋理工大学刘轶轩作了题为“智能合约执行语义分析与安全漏洞检测”的报告，分享了区块链智能合约回滚机制、事件日志一致性等相关的研究成果，研发的漏洞检测工具在真实合约上取得良好效果。中国科学院大学房若民作了题为“面向处理器的智能化安全验证”的报告，聚焦处理器芯片形式化验证方向分享研究进展，并就处理器安全验证的关键问题与现场老师进行了交流。中国科学院大学任德金作了题为“智能系统安全形式化验证及设计”的报告，分享了在半解析集验证与证伪、神经网络障碍证书正确性验证、可达性分析及可达规避性控制策略生成等方面的研究。中国科学院大学王贺作了题为“面向处理器的定向模糊测试研究”的报告，聚焦处理器微体系结构安全验证，提出多模块定向模糊测试和单模块定向模糊测试方法，相关成果已应用于香山处理器开源项目。西安交通大学李开宇作了题为“遥感图像开放词汇感知”的报告，分享了在开放词汇分割、开放词汇变化检测、遥感统一评测基准等研究成果。国防科技大学单咏雪作了题为“知识图谱推理与GraphRAG问答研究”的报告，围绕知识不完整、路径爆炸、语义错配等关键问题，分享了在关系抽取、知识图谱补全、类型约束问答、证据路径推理等方面的研究工作，以及企业级GraphRAG问答系统的构建经验。

周陈梁博士作报告

刘轶轩博士作报告

房若民博士作报告

任德金博士作报告

王贺博士作报告

李开宇博士作报告

单咏雪博士作报告

参会人员合影

报告结束后进入自由交流环节，赵中英简单阐述了人才引进政策，来访学者就菁英计划申报、考核要求、科研团队建设、研究生招生等与学院老师们进行沟通交流。

本次分论坛的成功举办，为计算机学院老师提供了与海内外优秀青年学者面对面交流的机会，也进一步加强了学院与国内外青年人才的联系与沟通。计算机学院将持续深化引才育才工作，为学院 和高质量发展注入新的活力。（通讯员：周慧）