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

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

最近，他揭示了分布式游戏的统一策略概念，这在没有他的 categorical 基础的情况下是难以想象的。分布式游戏和策略为计算的语义学提供了广泛的基础，横跨数学证明和概率及量子计算。几乎顺便，它们还提供了通过结构化游戏理论编程获胜和最优策略的方法。

他在2020年成为斯特拉特克莱德大学教授，并在2021年至2024年间担任华为首席科学家，此前他从剑桥大学计算机科学教授职位上退休。2000年他重返剑桥大学之前，曾在奥胡斯大学担任教授12年，期间他建立了世界闻名的计算机科学研究中心BRICS（计算机科学基础研究）。他是欧洲科学院的成员，也是哥本哈根大学的客座教授。

专业职位

• 斯特拉特克莱德大学计算机与信息科学教授，计算机与信息科学系

学科组

• 计算机科学
• 编程语言和验证
• 数学
• 纯粹数学

欧洲经济研究院，European Economic Research Institute，简称（EERI），由欧洲多国科学家携手创立，在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿，是美国国家科学院设下欧洲经济研究院（五大国家学术院），于1988年由欧洲多国科学部长倡导创立，是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。

www.eeri-edu.org

eeri@eeri-edu.org ， usaeeri@eeri-edu.org

UKofficeaddress：1stFloor330HighHolbornLONDONWC1V7QH

AddressofGermanoffice:L7,168161MannheimGermany

HeadquartersAddressintheUnitedStates：NationalAcademyofSciences500FifthStreet,NWWashington,DC20001