AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
公司 · 机构
› 新加坡国立大学 NUS
新加坡国立大学 NUS
公司 · 机构
高校/海外
高校/海外
出现于 2 场分享
简介
董劲松所在高校，研究形式化方法与 Agent 程序生成、复杂系统验证。
出现于 · 2 场
13:30–14:30
Panel：Agent 软件工程的理论基础与工程实践
15:45–16:45
Panel：开源生态、标准化与国际合作展望
相关实体
智能体 / Agent
·2
Agentic AI
·2
Anthropic（Claude）
·2
华为
·2
大模型 LLM
·2
OpenAI（Codex）
·2
AI 编程 / Coding
·1
阿里巴巴
·1