Marta Kwiatkowska
id:
marta-kwiatkowska-218-1265779
title:
Marta Kwiatkowska
text:
Marta Zofia Kwiatkowska 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.
brand slug:
wiki
category slug:
encyclopedia
description:
British computer scientist
original url:
https://en.wikipedia.org/wiki/Marta_Kwiatkowska
date created:
2011-01-20T16:18:09Z
date modified:
2024-09-13T07:33:42Z
main entity:
{"identifier":"Q11760","url":"https://www.wikidata.org/entity/Q11760"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/2/20/Marta_Kwiatkowska.png","width":305,"height":302}
fields total:
13
integrity:
16