Marta Kwiatkowska

Marta Zofia Kwiatkowska (born 1957) is a Polish theoretical computer scientist based in the United Kingdom.

Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford. Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation. Provided by Wikipedia