Marta was awarded the prestigious Lovelace Medal in 2019 for her research in probabilistic and quantitative verification. She delivered her Lovelace Lecture in May 2021 “Probabilistic model checking for the data-rich world.” A recording can be found here.
