阿尔蒂·古普塔

我的研究兴趣是系统的形式验证、程序分析和逻辑的自动决策程序。我目前在计算机辅助核查国际会议（CAV）指导委员会任职。我获得了卡内基梅隆大学计算机科学博士学位。

在加入普林斯顿大学计算机科学系之前，我曾在美国NEC实验室领导系统分析和验证的研究。在NEC，我和我的团队设计了验证程序的技术，并帮助他们在大型工业软件项目上成功部署。

研究兴趣

• 基础：形式化方法、模型检查、程序分析、自动合成、SAT/SMT求解器
• 应用：验证软件、硬件、网络、分布式系统

博士项目申请人须知：

最近的奖项

• 2023年ACM编程语言设计与实现会议：杰出论文奖
• 2022年IEEE网络协议国际会议（ICNP）：最佳论文奖
• 2021年欧洲设计、自动化和测试（DATE）：最佳论文奖（D轨）
• ACM电子系统设计自动化学报2020：最佳论文奖
• 2018年IEEE Micro最佳选择：荣誉奖（还获得MICRO-51会议最佳论文提名）
• ACM研究员：2017（对系统分析和验证技术的贡献及其向工业实践的转化）

最近邀请的会谈

• 受邀发表主题演讲联合逻辑会议（FLoC），2022年8月：基于SMT的分布式网络控制平面验证。
• 布莱恩特在FLoC的发现日，2022年8月：BDD（R）进化：跨代扩展。
• 受邀在印度计算机科学研究协会发表演讲（IARCS）验证系列，2022年6月：分布式网络控制平面的形式化验证.
• 2021年5月，在剑桥艾萨克·牛顿研究所验证软件研讨会上受邀演讲：从理论到实践：分布式网络控制平面的抽象解释。
• 2020年7月，受邀在第23届国际可满足性测试理论与应用会议上发表主题演讲：在结构化朋友的帮助下
• 2019年7月，在第11届验证软件工作会议上受邀演讲：理论、工具和实验（VSTTE）：验证网络控制平面
• 受邀演讲，最佳模型检查：Orna Grumberg纪念研讨会，2019年7月：网络控制平面中的对称性导致的抽象
• 2018年12月，受邀在第三所SAT+SMT学校（印度）授课：使用SAT/SMT对程序和网络进行自动验证

项目和相关出版物

• SyLVer公司：综合、学习和验证
• 网络验证：与Dave Walker和Ryan Beckett合作
• 指令级抽象（ILA）：与莎拉·马利克组

组

• 研究生
  • 蒂莫西·阿尔伯丁克·蒂姆
  • 迪维亚·拉胡纳桑
  • 阿卡什·甘卡
  • 何德源
• 毕业生
  • 劳伦·皮克
• 博士后研究员
  • 格里戈里·费德尤科维奇：2017年10月-2019年8月
• 访问学生
  • 张月玲（华东师大）：2017年9月-2018年6月

出版物

在DBLP服务器上

教学

• 2023年秋、2020年秋、2019年秋：COS 516/ELE 516——软件的自动推理
• 2021年秋季：COS 326——函数式编程
• 2021年春季：COS IW05（独立工作研讨会）——程序生成程序
• 2020年春季：COS 598B（计算机科学高级主题）——自动推理的进展
• 2018年秋季，2019年春季：COS IW09（独立工作研讨会）——程序生成程序
• 2018年春季：COS 598A（计算机科学高级专题）——验证进展
• 2017年秋季，2016年秋季：COS 516/ELE 516——软件的自动推理
• 2022年春季、2017年春季、2016年春季、2015年春季：COS 217——编程系统简介
• 2015年秋季：COS 597B（计算机科学高级专题）——关于软件的自动推理