玛尔塔Kwiatkowska Van Wijngaarden奖

MG在线游戏-权威认证-apple app store-MG在线游戏科技有限公司教授玛尔塔Kwiatkowska获得了今年的Van Wijngaarden奖. 和数学家苏珊·A. 墨菲, Kwiatkowska教授因其在识别软件故障方面的重大贡献而获得认可. 
该奖项由CWI设立，每五年颁发一次, 荷兰国家数学和计算机科学MG在线游戏-权威认证-apple app store-MG在线游戏科技有限公司所, 并以CWI前主任Aad van Wijngaarden的名字命名. 该奖项将于11月18日颁发.

Kwiatkowska教授是建模MG在线游戏-权威认证-apple app store-MG在线游戏科技有限公司的先驱, 验证, 以及概率系统的综合. 她领导了极具影响力的PRISM概率模型检查器的开发, 哪个被广泛用于MG在线游戏-权威认证-apple app store-MG在线游戏科技有限公司和教学，下载超过80次,000倍. 她被授予斯德哥尔摩KTH皇家理工学院荣誉博士学位，并获得了米尔纳奖和英国计算机学会拉夫莱斯奖章. 2019年，她成为英国皇家学会会员.

五年一度的范维恩加尔登奖以阿德里安·范维恩加尔登(1916-1987)的名字命名。. Van Wijngaarden直接参与了荷兰计算机的引入，对CWI和我国计算机的发展具有不可估量的重要性. 他也是荷兰计算机科学的创始人之一，为几种主流计算机语言奠定了基础.