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、游戏设计、记忆模型、点对点、风暴潮保护、放射治疗。
领取专属 10元无门槛券
私享最新 技术干货