Marta Kwiatkowska to deliver Lovelace lecture
Posted: 25th February 2020
Marta Kwiatkowska will deliver the BCS Lovelace Lecture 2020. The Lovelace Lecture is presented by the recipient of the Lovelace Medal. Established in 1998, the Lovelace Medal is awarded for outstanding contribution to the understanding and advancement of computing. Marta was awarded the 2019 BCS Lovelace Medal for her research in probabilistic and quantitative verification.
The title of her lecture is 'Probabilistic model checking for the data-rich world'. The lecture will take place from 6pm on 24 March 2020 at The Royal Society.
More details here: