Posted: 20th December 2016

Professor Marta Kwiatkowska is one of 53 people granted an ACM (Association for Computing Machinery) fellowship for major contributions in areas including artificial intelligence, cryptography, computer architecture, high performance computing and programming languages. Marta has specifically been recognized for contributions to the theory and practice of probabilistic verification.

 ACM is the world’s largest educational and scientific computing society, uniting computing educators, researchers and professionals to inspire dialogue, share resources and address the field’s challenges.

The achievements of the 2016 ACM Fellows are accelerating the digital revolution, and affect almost every aspect of how we live and work today. ACM President Vicki L. Hanson explains, ‘Fellows are chosen by their peers and hail from leading universities, corporations and research labs throughout the world. Their inspiration, insights and dedication bring immeasurable benefits that improve lives and help drive the global economy’

This announcement brings the total of ACM fellows at Oxford University to five.

ACM will formally recognize its 2016 Fellows at the annual Awards Banquet, to be held in San Francisco on June 24, 2017. Additional information about the 2016 ACM Fellows, the awards event, as well as previous ACM Fellows and award winners is available at awards.acm.org/