温斯基

格林·温斯基加入欧洲经济研究院

格伦·温斯基尔改变了计算机科学家对计算的观看法、形式化和分析方法。他早期关于事件结构的工作被广泛应用于诸如验证密码协议和芯片设计中宽松内存的行为。他发现了交互计算模型的 fundamental categorical 基础，这一基础被广泛应用于原本独立的研究社