重磅嘉宾|麻省理工学院（MIT）CSAIL 副主任 Daniel Jackson 分享：解码软件工程底层范式

当大模型把代码编写门槛拉到最低软件工程的核心矛盾已从“写不出代码”转向“控不住设计”。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 FellowMIT本科教学最高荣誉表彰兼具学术深度与教学能力的顶尖教授3核心理论体系他是概念驱动软件设计理论的创立者与集大成者重新定义软件设计的底层逻辑提出以“概念”为软件系统的核心构建单元区分“概念设计”与“表示设计”让设计回归业务本质而非代码实现建立“概念—同步—组合”的完整设计框架解决软件复杂度失控、逻辑模糊、维护困难等行业顽疾主张人类主导设计、AI负责执行的分工范式为AI辅助编程提供顶层设计约束理论被广泛验证于分布式系统、关键业务系统、智能体架构等前沿场景4Alloy建模语言与分析工具作为Alloy建模语言与Alloy Analyzer的首席设计者他让轻量级形式化方法走向工业落地首创基于一阶关系逻辑的轻量级建模语言兼顾表达力与自动化分析能力打造工业级约束分析工具可快速检测模型漏洞、验证系统一致性、排查设计缺陷工具被NASA、丰田、微软、谷歌、麻省总医院等机构用于航空航天、汽车、医疗、互联网核心系统设计彻底降低形式化验证的使用门槛让严谨设计从学术实验室走进企业研发流程5可读模块化软件框架面向大模型开发浪潮他最新提出“清晰模块化软件Legible Modular Software”框架以明确概念边界与极简同步规则让LLM更安全地生成/扩展代码实现“所见即行为”的设计透明度降低AI生成代码的隐式风险为智能体工程、分布式系统、AI-native研发提供统一可验证架构直接回应“AI编程易、系统可控难”的行业痛点6塑造下一代软件设计者作为MIT顶级教学名师他主讲MIT本科/研究生核心课程《软件设计》《形式化方法》影响数万工程师与研究者以MacVicar教学奖标准将复杂理论转化为易懂、可用、可落地的工程方法培养大批博士生与研究员遍布全球顶尖高校与科技企业成为软件工程领域中坚力量深度进化我们诚邀您亲临2026 智能体工程峰会Agent Engineering Summit 2026现场与技术专家技术管理者、一线AI实践者共同探讨AI时代研发体系的进化之路。与其旁观智能体浪潮不如站在风口躬身入局