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
Winners announced of IT Industry Awards14/11/2019 13:10:00
The Natural History Museum, METCloud, Travis Perkins, Virgin Trains (West Coast Trains) and Mastek are among the winners of the 2019 UK IT Industry Awards run by BCS, The Chartered Institute for IT and Computing.
BCS brings Cyber Crime Cup™ to The Etihad Stadium12/11/2019 11:10:00
“Manchester’s Etihad Stadium is set to host BCS’s first live cyber security eSport - the Cyber Crime Cup™ – which takes place at Cyber Crime 2019 on Monday 25 November 2019. With less than a month to go – tickets are going fast.”
Top ten tips for a digitally ethical election, according to BCS, The Chartered Institute for IT08/11/2019 15:20:00
BCS, The Chartered Institute for IT is backing a call for politicians of all persuasions to do the right thing when it comes to using data to influence voters.
BCS, The Chartered Institute for IT opens CHIME International UK Chapter28/10/2019 15:20:00
BCS, The Chartered Institute for IT, has officially opened the CHIME International UK Chapter, bringing the benefits of the international healthcare IT organisation to its members.
New offices opened in heart of the Square Mile22/10/2019 12:37:00
BCS, The Chartered Institute for IT’s new offices at Copthall Avenue, near Moorgate have been officially opened at a ceremony by the Lord Mayor of the City of London, Alderman Peter Estlin.
Ministry of Defence recognises BCS membership and professional standards for digital and IT specialists21/10/2019 10:15:00
BCS, The Chartered Institute for IT is delighted to announce they will be working with the Ministry of Defence (MOD) for a further two years. This builds on success already achieved during the 2017 launch of the membership programme, which has provided professional registration and recognition across the MOD digital and IT specialists.
BCSWomen feature in Computer Weekly’s list of the Most Influential Women in UK IT27/09/2019 16:25:00
Seven women who are members of BCS, The Chartered Institute for IT are featured in the top 50 list of the Most Influential Women in UK IT 2019. In addition, Maggie Berry who is a BCS Women committee member – has been added to Computer Weekly’s Hall of Fame.
CHIME and BCS The Chartered Institute for IT Launch Chapter in the UK05/09/2019 12:20:00
A landmark agreement has been signed between the College of Healthcare Information Management Executives (CHIME) and BCS The Chartered Institute for IT in the UK.