科企岛：【科技人物】麻省理工学院计算机科学教授Daniel Jackson

Daniel Jackson 是麻省理工学院计算机科学教授，CSAIL 副主任。由于他在软件方面的研究，他获得了 ACM SIGSOFT 影响奖、ACM SIGSOFT 杰出研究奖，并被任命为 ACM Fellow。他是 Alloy 建模语言的首席设计师，也是 Software Abstractions: Logic, Language and Analysis (2006) 的作者。他主持了一项关于软件可靠性的国家科学院研究，并与美国国家航空航天局就空中交通控制进行了软件项目合作.

正在进行的概念设计工作有；Geoffrey Litt的新编程范式（例如Wildcard）；与Josh Pollock一起绘制图表的语言和工具；在NSF资助的Danny Weitzner和Joan Feigenbaum项目中使用概念实现政策合规性（对于 GDPR 等）。我提倡轻量级形式化方法和设计思维在软件中的作用。Alloy是我与学生一起开发的语言，它继续流行起来，并在最新版本中扩展了时间逻辑运算符（2021 年 11 月）。一些最近很酷的东西：利用 Spectre/Meltdown、游戏设计、记忆模型、点对点、风暴潮保护、放射治疗。