MartaFest

MartaFest is a one-day scientific symposium celebrating the contributions and lasting influence of Professor Marta Kwiatkowska to the field of formal methods.

Bio: Professor Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford. She is known for fundamental contributions to the theory and practice of formal verification. Notably, this includes automated verification techniques for probabilistic systems, as well as pioneering the application of these methods to diverse areas such as systems biology, DNA computing and healthcare. Recently, she has focused on safety and trust in AI, with an emphasis on safety and robustness guarantees for machine learning. Kwiatkowska is the first female winner of the Royal Society Milner Award, and was awarded the BCS Lovelace Medal and Van Wijngaarden Award, as well as an honorary doctorate from KTH and the title of Professor in Poland. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.