The Association for Computing Machinery (ACM) has named Aarti Gupta, a professor of computer science at Princeton, one of its 2017 ACM Fellows for contributions to system analysis and verification techniques and their transfer to industrial practice.
This year’s class was selected by their peers from more than 100,000 ACM members worldwide in recognition of their accomplishments in computer and information technology, as well as their service to ACM and the larger computing community.
“To be selected as a Fellow is to join our most renowned member grade and an elite group that represents less than 1 percent of ACM’s overall membership,” said ACM President Vicki Hanson. “The Fellows program allows us to shine a light on landmark contributions to computing, as well as the men and women whose tireless efforts, dedication and inspiration are responsible for groundbreaking work that improves our lives in so many ways.”
Gupta and the 53 other recipients will be recognized June 23, 2018, at the group’s annual awards banquet in San Francisco.