Marta Kwiatkowska
http://dbpedia.org/resource/Marta_Kwiatkowska an entity of type: Thing
Marta Zofia Kwiatkowska (* 26. Februar 1957) ist eine polnische theoretische Informatikerin wohnhaft im Vereinigten Königreich. Sie ist Professorin an der Fakultät für Informatik der University of Oxford, England: und ein Mitglied des Trinity College, Oxford
rdf:langString
Marta Zofia Kwiatkowska est une informaticienne théoricienne de nationalité polonaise, aussi citoyenne britannique, travaillant au Royaune-Uni. Elle est professeur d'informatique au département d'informatique de l'Université d'Oxford, et Fellow du Trinity College.
rdf:langString
Marta Zofia Kwiatkowska FRS MAE 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.
rdf:langString
rdf:langString
Marta Kwiatkowska
rdf:langString
Marta Kwiatkowska
rdf:langString
Marta Kwiatkowska
rdf:langString
Marta Kwiatkowska
rdf:langString
Marta Kwiatkowska
xsd:integer
30544835
xsd:integer
1116806334
rdf:langString
Fairness for non-interleaving concurrency
xsd:integer
1989
rdf:langString
Jagiellonian University
rdf:langString
University of Birmingham
rdf:langString
University of Leicester
rdf:langString
University of Oxford
rdf:langString
rdf:langString
Jagiellonian University
rdf:langString
University of Leicester
rdf:langString
rdf:langString
rdf:langString
ACM Fellow
rdf:langString
Milner Award
rdf:langString
BCS Lovelace Medal
rdf:langString
Marta Zofia Kwiatkowska
rdf:langString
Kwiatkowska in 2018
rdf:langString
British
rdf:langString
Computer Science
rdf:langString
rdf:langString
Automated verification
rdf:langString
Probabilistic quantitative model checking
rdf:langString
Polish
rdf:langString
Marta Zofia Kwiatkowska (* 26. Februar 1957) ist eine polnische theoretische Informatikerin wohnhaft im Vereinigten Königreich. Sie ist Professorin an der Fakultät für Informatik der University of Oxford, England: und ein Mitglied des Trinity College, Oxford
rdf:langString
Marta Zofia Kwiatkowska est une informaticienne théoricienne de nationalité polonaise, aussi citoyenne britannique, travaillant au Royaune-Uni. Elle est professeur d'informatique au département d'informatique de l'Université d'Oxford, et Fellow du Trinity College.
rdf:langString
Marta Zofia Kwiatkowska FRS MAE 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.
xsd:nonNegativeInteger
20507
rdf:langString
Marta Zofia Kwiatkowska