古普塔因在计算方面的杰出成就被任命为ACM院士

计算机协会(ACM)已任命普林斯顿大学计算机科学教授AartiGupta为2017年ACM院士之一，以表彰他对系统分析和验证技术及其向工业实践的转移做出的贡献。

今年的课程是由他们的同行从全球超过100,000名ACM会员中选出，以表彰他们在计算机和信息技术方面的成就，以及他们为ACM和更大的计算社区所做的服务。

ACM主席VickiHanson说：“被选为院士就是加入我们最著名的会员等级和精英团体，该团体仅占ACM全体会员的不到1%。”“Fellows计划让我们能够了解对计算领域具有里程碑意义的贡献，以及那些通过不懈努力、奉献和灵感做出开创性工作、以多种方式改善我们生活的男男女女。”

古普塔和其他53位获奖者将于2018年6月23日在该集团在旧金山举行的年度颁奖晚宴上获得表彰。