Professorial Fellow in Computing Systems Marta Kwiatkowska has been elected a Fellow of the Royal Society. She is one of 50 eminent scientists to be elected to the fellowship, in recognition of her outstanding contribution to the field of computer science. She is one of only ten women Fellows elected this year.
Fellowship of the Royal Society is an award granted to individuals that the Royal Society of London judges to have made a ‘substantial contribution to the improvement of natural knowledge, including mathematics, engineering science and medical science.’ Professor Kwiatkowska has made pioneering and highly influential contributions to the principles of probabilistic model checking, and led the development of the internationally leading probabilistic model checker PRISM. In 2018 she became the first female recipient of the Royal Society’s Milner Award, given for outstanding achievement in computer science by a European researcher.
Professor Kwiatkowska said: ‘It is a huge honour to be elected to the Royal Society and join such a distinguished group of pioneering scientists. It has been a particularly exciting season of awards and grants for me, and I am so pleased to receive this recognition for the impact of my work. ‘
New Fellows are formally admitted to the Society at the Admissions Day ceremony in July.
Posted: 17 April 2019