Professor Marta Kwiatkowska has been awarded an ACM (Association for Computing Machinery) Fellowship – ACM Fellowships recognise advances that are transforming science and society.
Professor Kwiatkowska has been recognised specifically for contributions to the theory and practice of probabilistic verification and is one of 53 recipients who have made major contributions in areas including artificial intelligence, cryptography, computer architecture, high performance computing and programming languages. Her appointment brings the total of ACM fellows at Oxford University to five.
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 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.’
ACM will formally recognise its 2016 Fellows at the annual Awards Banquet, to be held in San Francisco on 24 June 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/.
Posted: 15 December 2016