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.
What is Lorem Ipsum?
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages, and more recently with desktop publishing software like Aldus PageMaker including versions of Lorem Ipsum.
