Search Results - Marta Kwiatkowska

Marta Kwiatkowska

Kwiatkowska in 2018 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
  • Showing 1 - 1 results of 1
Refine Results
  1. 1