Daniel Jackson
MIT计算机与AI实验室（CSAIL）副主任， ACM Fellow
Daniel Jackson是MIT计算机与AI实验室（CSAIL）副主任和计算机科学教授。由于他在软件方面的研究，他获得了ACM SIGSOFT影响奖和ACM SIGSOFT杰出研究奖，并被授予ACM Fellow称号。 他是Alloy建模语言的主要设计者，他曾担任美国国家科学院软件可靠性研究项目的主席，并与美国国家航空航天局（NASA）就空中交通管制、麻省总医院质子治疗以及丰田自动驾驶汽车等软件项目进行过合作。他的代表作品：《软件抽象》和《软件设计的要素》。
演讲主题
软件设计的要素——概念驱动的软件设计
“概念”是一种全新的软件设计方式，由状态和操作组成，它们由独立的小型服务构成，提供连贯的价值；它们可以组合，但没有相互依赖。概念可以使软件实现更广泛的模块化。 我会给出一些这方面的示例，说明如何在软件设计中使用这些“概念”，并向大家介绍一些最近的研究工作，其中由于概念提供了基于LLM （大语言模型）的代码生成所需要的模块化特性，使得基于大语言模型生成整个应用成为可能。
