Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Marta_Kwiatkowska> ?p ?o }
- Marta_Kwiatkowska abstract "Marta Zofia Kwiatkowska is a computer scientist based in the United Kingdom. She is Professor of Computing Systems at the Oxford University Department of Computer Science, University of Oxford, England.Marta Kwiatkowska held academic posts at Jagiellonian University, Cracow, Poland, the University of Leicester, England, and the University of Birmingham, where she becamea Professor of Computer Science.Since 2007, she has been a Fellow of Trinity College, Oxford.Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking. She has been involved in the development of the PRISM model checker. Kwiatkowska has published widely in academic journals and conferences.".
- Marta_Kwiatkowska birthPlace Poland.
- Marta_Kwiatkowska country United_Kingdom.
- Marta_Kwiatkowska wikiPageExternalLink marta.kwiatkowska.
- Marta_Kwiatkowska wikiPageID "30544835".
- Marta_Kwiatkowska wikiPageLength "2446".
- Marta_Kwiatkowska wikiPageOutDegree "33".
- Marta_Kwiatkowska wikiPageRevisionID "645060978".
- Marta_Kwiatkowska wikiPageWikiLink Category:Academics_of_the_University_of_Birmingham.
- Marta_Kwiatkowska wikiPageWikiLink Category:Academics_of_the_University_of_Leicester.
- Marta_Kwiatkowska wikiPageWikiLink Category:British_computer_scientists.
- Marta_Kwiatkowska wikiPageWikiLink Category:British_people_of_Polish_descent.
- Marta_Kwiatkowska wikiPageWikiLink Category:Fellows_of_Trinity_College,_Oxford.
- Marta_Kwiatkowska wikiPageWikiLink Category:Formal_methods_people.
- Marta_Kwiatkowska wikiPageWikiLink Category:Jagiellonian_University_faculty.
- Marta_Kwiatkowska wikiPageWikiLink Category:Living_people.
- Marta_Kwiatkowska wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Marta_Kwiatkowska wikiPageWikiLink Category:Polish_computer_scientists.
- Marta_Kwiatkowska wikiPageWikiLink Category:Women_computer_scientists.
- Marta_Kwiatkowska wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Marta_Kwiatkowska wikiPageWikiLink Computer_Science.
- Marta_Kwiatkowska wikiPageWikiLink Computer_science.
- Marta_Kwiatkowska wikiPageWikiLink Computer_scientist.
- Marta_Kwiatkowska wikiPageWikiLink Computing.
- Marta_Kwiatkowska wikiPageWikiLink Cracow.
- Marta_Kwiatkowska wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Marta_Kwiatkowska wikiPageWikiLink England.
- Marta_Kwiatkowska wikiPageWikiLink Fellow.
- Marta_Kwiatkowska wikiPageWikiLink Fellow_(college).
- Marta_Kwiatkowska wikiPageWikiLink Formal_verification.
- Marta_Kwiatkowska wikiPageWikiLink Jagiellonian_University.
- Marta_Kwiatkowska wikiPageWikiLink Kraków.
- Marta_Kwiatkowska wikiPageWikiLink Model_checking.
- Marta_Kwiatkowska wikiPageWikiLink Oxford_University_Department_of_Computer_Science.
- Marta_Kwiatkowska wikiPageWikiLink PRISM_(model_checker).
- Marta_Kwiatkowska wikiPageWikiLink PRISM_model_checker.
- Marta_Kwiatkowska wikiPageWikiLink Poland.
- Marta_Kwiatkowska wikiPageWikiLink Professor.
- Marta_Kwiatkowska wikiPageWikiLink System.
- Marta_Kwiatkowska wikiPageWikiLink Trinity_College,_Oxford.
- Marta_Kwiatkowska wikiPageWikiLink United_Kingdom.
- Marta_Kwiatkowska wikiPageWikiLink University_of_Birmingham.
- Marta_Kwiatkowska wikiPageWikiLink University_of_Leicester.
- Marta_Kwiatkowska wikiPageWikiLink University_of_Oxford.
- Marta_Kwiatkowska wikiPageWikiLinkText "Marta Kwiatkowska".
- Marta_Kwiatkowska hasPhotoCollection Marta_Kwiatkowska.
- Marta_Kwiatkowska name "Kwiatkowska, Marta Zofia".
- Marta_Kwiatkowska placeOfBirth Poland.
- Marta_Kwiatkowska shortDescription "Computer scientist".
- Marta_Kwiatkowska wikiPageUsesTemplate Template:AcademicSearch.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:Compu-bio-stub.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:Persondata.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:Primary_sources.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:Reflist.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:Self-published.
- Marta_Kwiatkowska wikiPageUsesTemplate Template:UK-academic-bio-stub.
- Marta_Kwiatkowska description "Computer scientist".
- Marta_Kwiatkowska description "Computer scientist".
- Marta_Kwiatkowska subject Category:Academics_of_the_University_of_Birmingham.
- Marta_Kwiatkowska subject Category:Academics_of_the_University_of_Leicester.
- Marta_Kwiatkowska subject Category:British_computer_scientists.
- Marta_Kwiatkowska subject Category:British_people_of_Polish_descent.
- Marta_Kwiatkowska subject Category:Fellows_of_Trinity_College,_Oxford.
- Marta_Kwiatkowska subject Category:Formal_methods_people.
- Marta_Kwiatkowska subject Category:Jagiellonian_University_faculty.
- Marta_Kwiatkowska subject Category:Living_people.
- Marta_Kwiatkowska subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Marta_Kwiatkowska subject Category:Polish_computer_scientists.
- Marta_Kwiatkowska subject Category:Women_computer_scientists.
- Marta_Kwiatkowska subject Category:Year_of_birth_missing_(living_people).
- Marta_Kwiatkowska hypernym Scientist.
- Marta_Kwiatkowska type Agent.
- Marta_Kwiatkowska type Article.
- Marta_Kwiatkowska type List.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska type Scientist.
- Marta_Kwiatkowska type Article.
- Marta_Kwiatkowska type List.
- Marta_Kwiatkowska type Member.
- Marta_Kwiatkowska type Method.
- Marta_Kwiatkowska type Scientist.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska type Agent.
- Marta_Kwiatkowska type NaturalPerson.
- Marta_Kwiatkowska type Thing.
- Marta_Kwiatkowska type Q215627.
- Marta_Kwiatkowska type Q5.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska comment "Marta Zofia Kwiatkowska is a computer scientist based in the United Kingdom.".
- Marta_Kwiatkowska label "Marta Kwiatkowska".
- Marta_Kwiatkowska sameAs Marta_Kwiatkowska.
- Marta_Kwiatkowska sameAs Marta_Kwiatkowska.
- Marta_Kwiatkowska sameAs m.0g9vc_y.
- Marta_Kwiatkowska sameAs Q11760.
- Marta_Kwiatkowska sameAs Q11760.
- Marta_Kwiatkowska wasDerivedFrom Marta_Kwiatkowska?oldid=645060978.
- Marta_Kwiatkowska givenName "Marta Zofia".
- Marta_Kwiatkowska isPrimaryTopicOf Marta_Kwiatkowska.
- Marta_Kwiatkowska name "Kwiatkowska, Marta Zofia".
- Marta_Kwiatkowska name "Marta Zofia Kwiatkowska".