正在进行的概念设计工作有；Geoffrey Litt的新编程范式（例如Wildcard）；与Josh Pollock一起绘制图表的语言和工具；在NSF资助的Danny Weitzner和Joan Feigenbaum项目中使用概念实现政策合规性（对于 GDPR 等）。我提倡轻量级形式化方法和设计思维在软件中的作用。Alloy是我与学生一起开发的语言，它继续流行起来，并在最新版本中扩展了时间逻辑运算符（2021 年 11 月）。一些最近很酷的东西：利用 Spectre/Meltdown、游戏设计、记忆模型、点对点、风暴潮保护、放射治疗。
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！