Oxford University Professor named as BCS Lovelace Medal Winner 2019
Marta Kwiatkowska, Department of Computer Science, Trinity College, Oxford has been named as the recipient of the 2019 BCS Lovelace Medal, the top award in computing in the UK, awarded by BCS, The Chartered Institute for IT.
The award is presented annually to individuals who, in the opinion of BCS Academy Awards Committee, have made a significant contribution to the advancement of Information Systems.
Professor Kwiatkowska has been recognised for her major contributions to probabilistic and quantitative verification. She has made significant contributions across the breadth of theory, applications and software tools. Her research and her software system PRISM has made a huge impact on computer science in the UK and worldwide. Since 2001 she has led the development of the highly influential probabilistic model checker PRISM.
Professor Kwiatkowska RECENTLY explained:
“Computing infrastructure has become indispensable in our society, with examples ranging from online banking, to intelligent vehicles and electronic medical equipment. Software faults in such systems can have disastrous consequences.
“My research is concerned with developing modelling and automated verification techniques that can guarantee the stable, safe, secure, timely, reliable and resource-efficient operation of computing systems.”
PRISM is widely used for research and teaching across the globe; it is highly cited, has been downloaded over 70,000 times and used in over 500 publications to date. It has been shown to be effective for modelling a wide range of applications including communications protocols, molecular and cell biology, and more recently, adaptive and artificial intelligence systems. It has proved its usefulness in many distinct fields, including distributed and cloud computing, wireless networks, security, robotics, quantum computing, game theory, biology and nanotechnology.
The award will be presented to Professor Kwiatkowska at a ceremony at the Royal Society in London next spring.
Steve Furber, Chair of BCS Academy Awards Committee says: “Professor Kwiatkowska has made an outstanding contribution to the understanding and advancement of computing and I am delighted that we are awarding her the Lovelace Medal in recognition of her wide range of achievements. The impact she has made to computer science, and her contribution to academic research, makes her a richly deserving recipient of this prestigious award.”
Professor Kwiatkowska says of being presented with the award: “I'm incredibly honoured to be receiving the 2019 Lovelace Medal. It's really exciting to have my work recognised via the award and emphasises the importance and potential of research in probabilistic and quantitative verification. Over the years, I have worked in conjunction with many collaborators and am grateful for their contributions, none more so than Dr Gethin Norman and Professor David Parker, who worked on the first implementation of PRISM and have provided great support ever since.”
Nominations for the 2019 award open on Monday 21 October 2019 and close on Friday 24 January 2020.
Latest News from
The public don’t trust computer algorithms to make decisions about them, survey finds08/09/2020 13:20:00
The majority of people do not trust computers to make decisions about any aspect of their lives, according to a new survey.
Algorithms must meet ethical and professional standards to recover public trust, report recommends01/09/2020 14:10:00
Algorithms that change people’s lives - for example when estimating students’ grades - should now meet strict standards of ethics and competence, according to a new report by the professional body for IT.
Diversity in Tech – The Awkward Conversation26/08/2020 14:05:00
IT leaders and policy makers need to create more diverse and inclusive teams - that’s the conclusion of a recent webinar held by BCS, The Chartered Institute for IT.
IT Early Career professionals to get more support from BCS24/08/2020 14:10:00
A new initiative to support people in the early stages of their working lives within the digital industries been launched by BCS, The Chartered Institute for IT.
Challenges set by 'Schrems 2' personal data ruling 'won’t go away' after Brexit, Institute for IT warns19/08/2020 12:20:00
The EU‘s ‘Schrems 2’ judgement – which ruled that the Privacy Shield Framework cannot be used for transferring personal data between the EU and US - demands ‘prompt action’ from UK organisations, the professional body for IT has warned.
Challenges set by ‘Schrems 2’ personal data ruling ‘won’t go away’ after Brexit, Institute for IT warns18/08/2020 13:10:00
The EU‘s ‘Schrems 2’ judgement - which ruled that the Privacy Shield Framework cannot be used for transferring personal data between the EU and US - demands ‘prompt action’ from UK organisations, the professional body for IT has warned.
Number of female students studying Computer Science increases by 300% in five years, new data reveals14/08/2020 10:20:00
Record numbers of female students took Computer Science A-level this year, with an increase of 23% on 2019, new figures show.
IT professionals cast doubt on Huawei’s warning that ban will 'move Britain into the digital slow lane’ – new survey05/08/2020 14:10:00
The majority of IT professionals (53%) do not believe Huawei’s claim that the UK’s decision to ban the tech giant from 5G will 'move Britain into the digital slow lane, push up bills and deepen the digital divide', according to a new survey.