科企岛：【科技人物】麻省理工学院计算机科学教授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、游戏设想、记忆模子、点对点、风暴潮庇护、放射治疗。