Marta Kwiatkowska

Professor, University of Oxford

Marta is Professor of Computing Systems and Fellow at Trinity College, University of Oxford. Her area of expertise lies in probabilistic and quantitative verification techniques and the synthesis of correct-by-construction systems from quantitative specifications. Recently, she has focused on safety and trust in the fields of robotics and Artificial Intelligence, with an emphasis on safety and robustness guarantees for machine learning.

Marta has been the recipient of two ERC Advanced Grants and an honorary doctorate from KTH Institute of Technology, was the first female winner of the Royal Society Milner Award and the Lovelace Medal. She is a Fellow of the ACM, a Member of Academia Europea, and a Fellow of the Royal Society.

Related Sessions

Finance and responsible A...

Read More