当大模型把代码编写门槛拉到最低，软件工程的核心矛盾已从"写不出代码"转向"控不住设计"。AI能快速产出代码片段，却难以把控系统概念、模块边界与长期可靠性。如何让AI辅助开发既高效又可控？如何构建可解释、可组合、可验证的AI-native软件系统？
今日正式官宣：计算机科学与人工智能实验室（CSAIL）副主任 Daniel Jackson教授远程出席 AES 2026带来《概念设计赋能LLM驱动软件开发》主题演讲
峰会核心速览
本次峰会由AES智能体工程峰会组委会主办，Apache DevLake 技术社区、独立开发者Labs 社区与思码逸等企业，联合十余位业界技术专家共同发起共建，核心信息如下：
峰会主题：2026智能体工程峰会 | Agent Engineering Summit 2026
举办时间：2026年5月17日
举办地点：中国·北京
峰会规格：1个主会场+5个分会场，现场仅300席位。
参会群体：技术管理者、CTO、架构师、开发者、AI工程师等科技核心从业者
核心定位：秉承技术普惠、开放共创的原则，兼具工程深度与行业广度，弥合前沿模型能力与工业级应用落地间的鸿沟，彰显基础系统在 Agent 生态中的关键支撑作用
议题说明
概念设计赋能LLM驱动软件开发
本次峰会，Daniel Jackson 将围绕其原创理论与最新研究 ，客观讲解概念驱动设计如何适配AI辅助开发，提出人类设计与AI执行的边界的建议，分享MIT在可验证、模块化、高可靠AI软件系统的前沿成果，传递权威、严谨、可落地的学术与实践内容。
1
核心职务与学术身份
Daniel Jackson是全球软件工程领域的殿堂级学者，现任：
-
MIT电子工程与计算机科学系（EECS）终身教授
-
MIT计算机科学与人工智能实验室（CSAIL）副主任
-
MIT软件设计研究组（Software Design Group, SDG）负责人
-
MIT MacVicar教学研究员（MIT最高教学荣誉之一）
-
MISTI-MEET项目学术主任
他的研究始终锚定软件设计本质、形式化方法、模块化工程、AI与软件工程交叉，以"让软件更清晰、更可靠、更易维护"为核心使命，是公认的软件设计理论与实践双栖领军者。
2
顶级学术荣誉与行业认可
凭借对软件工程的里程碑式贡献，他斩获全球计算机领域至高荣誉：
-
ACM Fellow（国际计算机学会会士，计算机领域顶级学术荣誉）
-
ACM SIGSOFT Impact Award（软件工程领域最具影响力论文奖，表彰长期改变行业的研究）
-
ACM SIGSOFT Outstanding Research Award（软件工程杰出研究奖，学术成就最高认可之一）
-
MIT MacVicar Fellow（MIT本科教学最高荣誉，表彰兼具学术深度与教学能力的顶尖教授）
3
核心理论体系
他是概念驱动软件设计理论的创立者与集大成者，重新定义软件设计的底层逻辑：
-
提出以"概念"为软件系统的核心构建单元，区分" 概念设计"**与"**表示设计"，让设计回归业务本质而非代码实现
-
建立"概念---同步---组合"的完整设计框架，解决软件复杂度失控、逻辑模糊、维护困难等行业顽疾
-
主张人类主导设计、AI负责执行的分工范式，为AI辅助编程提供顶层设计约束
-
理论被广泛验证于分布式系统、关键业务系统、智能体架构等前沿场景
4
Alloy建模语言与分析工具
作为Alloy建模语言 与Alloy Analyzer的首席设计者，他让轻量级形式化方法走向工业落地：
-
首创基于一阶关系逻辑的轻量级建模语言，兼顾表达力与自动化分析能力
-
打造工业级约束分析工具，可快速检测模型漏洞、验证系统一致性、排查设计缺陷
-
工具被NASA、丰田、微软、谷歌、麻省总医院等机构用于航空航天、汽车、医疗、互联网核心系统设计
-
彻底降低形式化验证的使用门槛，让严谨设计从学术实验室走进企业研发流程
5
可读模块化软件框架
面向大模型开发浪潮，他最新提出"清晰模块化软件（Legible Modular Software）"框架：
-
以明确概念边界与极简同步规则，让LLM更安全地生成/扩展代码
-
实现"所见即行为"的设计透明度，降低AI生成代码的隐式风险
-
为智能体工程、分布式系统、AI-native研发提供统一可验证架构
-
直接回应"AI编程易、系统可控难"的行业痛点
6
塑造下一代软件设计者
作为MIT顶级教学名师，他：
-
主讲MIT本科/研究生核心课程《软件设计》《形式化方法》，影响数万工程师与研究者
-
以MacVicar教学奖标准，将复杂理论转化为易懂、可用、可落地的工程方法
-
培养大批博士生与研究员，遍布全球顶尖高校与科技企业，成为软件工程领域中坚力量
深度进化
我们诚邀您亲临2026 智能体工程峰会（Agent Engineering Summit 2026）现场，与技术专家，技术管理者、一线AI实践者共同探讨AI时代研发体系的进化之路。
与其旁观智能体浪潮
不如站在风口躬身入局