某中心学者Rupak Majumdar荣获CONCUR时间检验奖

某中心学者Rupak Majumdar因其2003年发表的论文《时序博弈中的意外元素》获得2022年国际并发理论会议（CONCUR）时间检验奖。该奖项旨在表彰在CONCUR会议上发表的杰出论文，本届奖项从1998年至2003年期间的论文中评选，表彰其对并发编程特定领域研究的持续贡献。

Majumdar的合著者包括：某大学计算机科学与工程教授Luca de Alfaro、某大学电气工程与信息技术副教授Marco Faella、某科研机构主席Thomas A. Henzinger以及某大学正教授Mariëlle Stoelinga。该论文引入了考虑并发双人博弈中时间约束的模型，该模型及其分析算法已成为信息物理系统形式化分析的标准方法。

“部分贡献在于提出了同时选择时间和动作的博弈模型，“Majumdar表示，“第二部分是：给定这种博弈模型，如何实际分析这些博弈？这就是论文的两个部分：博弈模型和分析算法。”

算法创新与影响

该论文首次解决了组合推理中的基本问题：创建清晰包含时间约束概念的双人博弈模型。合作者开发的算法考虑了Zeno现象（在有限时间间隔内通过无限次移动获胜的方法）。

“算法的关键点之一是确保排除这类Zeno行为，“Majumdar指出，“我们既开发了模型，又找到了一种符号算法来排除不良获胜方式。这已成为时间系统分析的标准方法。”

学术背景与研究应用

Majumdar在某技术学院获得计算机科学学士学位后，赴美攻读计算机科学博士学位。在某大学伯克利分校期间，他与导师Henzinger以及当时在某大学圣克鲁兹分校的de Alfaro、Faella和Stoelinga合作完成了CONCUR论文。

获得博士学位后，Majumdar在某大学洛杉矶分校担任六年助理教授。2009年，他被任命为某软件系统研究所科学主任。如今在该研究所工作的第13年，他持续从事信息物理系统的形式化分析研究。

“例如，我们正在尝试正式验证或合成代码，确保机器人在不碰撞任何障碍物的情况下到达特定点，“Majumdar解释说，“我们的工作将计算机科学思想（如图抽象或图上双人博弈求解）与信息物理系统领域相结合。”

2021年10月，Majumdar被某云服务自动推理组副总裁聘为某中心学者。作为自动推理组成员，他致力于构建验证某云服务软件实现的自动化工具。

“这是检验这些算法在现实世界中表现的绝佳机会，“Majumdar表示，“在设计这些算法时，我们始终希望它们能发挥实际作用。”