2026-07-10
2026-07-03
2026-06-09
为响应烟台市数字经济高质量发展需求，深化产学研协同创新，7月2日上午，烟台大学计算机与控制工程学院副院长郑强带队，学院骨干教师一行赴烟台市大数据发展集团开展产学研合作暨党建共建交流活动。集团相关领导及部门负责人出席活动。教师团队首先参观了人工智能数字化展厅，深入了解集团在数字基建、智慧城市、数据运营等领域的最新成果。作为市属国有数字产业平台，集团承担着全市重点信息化项目建设，为校地合作提供了丰富...
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日上午，中国科学院软件研究所吴志林研究员应邀做客三元名家论坛，为师生作题为“大语言模型赋能形式化验证：机遇与挑战”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。讲座中，吴志林研究员对大语言模型给形式化验证带来的机遇和挑战进行分析梳理，并介绍中科院软件所基础软件验证研究室在该领域的最新的研究进展，包括大语言模型赋能约束求解，大语言模型赋能模型检测，大语言模型赋能程序终止性分...
烟台大学
