AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
公司 · 机构
› 南京大学
南京大学
公司 · 机构
高校
高校
出现于 1 场分享
简介
冯新宇所在高校，编程语言方向，研究 AI 时代语言演进与 Specification 语言。
出现于 · 1 场
13:30–14:30
Panel：Agent 软件工程的理论基础与工程实践
相关实体
智能体 / Agent
·1
Agentic AI
·1
AI 编程 / Coding
·1
Anthropic（Claude）
·1
Cursor
·1
具身智能
·1
冯新宇
·1
形式化方法 / 验证
·1