2026-06-09
2026-05-27
2026-05-15
6月8日上午，皇家墨尔本理工大学的Hepu Deng教授应邀做客三元名家论坛，为师生作题为“Digital Platforms in Supply Chain and Logistics Management: An integrative Perspective”的专题讲座，由苏开乐教授主持，科研骨干教师及在校研究生共同参与。讲座中，Hepu Deng系统阐述了数字平台在供应链与物流管理（SCLM）领域的研究脉络与发展现状，并提出了四个核心研究问题：SCLM中数字平台使用的趋势演变、平台角色的形成与扩...
6月6日上午，南京航空航天大学陈钢教授应邀做客三元名家论坛，为师生作题为“Pella：一个带类型的高层硬件描述语言”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。讲座中，陈钢教授介绍Pella——一个嵌入Coq定理证明器的硬件描述基础设施。Pella的核心创新是使用依赖类型将位宽、索引边界和控制流完整性直接编码到类型签名中，实现“错误前移”（Error Front-Loading）：将错误捕获从仿真/综合阶段提前到编...
6月6日上午，中国科学院软件研究所吴志林研究员应邀做客三元名家论坛，为师生作题为“大语言模型赋能形式化验证：机遇与挑战”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。讲座中，吴志林研究员对大语言模型给形式化验证带来的机遇和挑战进行分析梳理，并介绍中科院软件所基础软件验证研究室在该领域的最新的研究进展，包括大语言模型赋能约束求解，大语言模型赋能模型检测，大语言模型赋能程序终止性分...
2026年6月6日，烟台大学计算机与控制工程学院举办“两校名师讲堂”，特邀北京大学计算机学院詹乃军教授，作了题为“国产多核实时操作系统微内核形式验证”的学术讲座，院长童向荣、学院科研骨干教师及部分研究生代表参加。讲座中，詹乃军教授介绍了近年完成的一个某国产多核实时操作系统微内核形式验证工作。验证的核心模块包括：任务管理与调度、中断和异常处理、任务同步与通信、核间通信与动态重构、时钟管理、权能访问控制...
烟台大学
