Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Marta_Kwiatkowska> ?p ?o. }
Showing items 1 to 73 of
73
with 100 items per page.
- 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 the Jagiellonian University in Cracow, Poland, and the University of Leicester in England. She was then Professor of Computer Science in the School of Computer Science at the University of Birmingham.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 wikiPageRevisionID "577288406".
- Marta_Kwiatkowska hasPhotoCollection Marta_Kwiatkowska.
- Marta_Kwiatkowska name "Kwiatkowska, Marta Zofia".
- Marta_Kwiatkowska placeOfBirth Poland.
- Marta_Kwiatkowska shortDescription "Computer scientist".
- 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_Oxford_University_Department_of_Computer_Science.
- 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 type Academician109759069.
- Marta_Kwiatkowska type AcademicsOfTheUniversityOfBirmingham.
- Marta_Kwiatkowska type AcademicsOfTheUniversityOfLeicester.
- Marta_Kwiatkowska type Adult109605289.
- Marta_Kwiatkowska type Associate109816771.
- Marta_Kwiatkowska type BritishComputerScientists.
- Marta_Kwiatkowska type BritishPeopleOfPolishDescent.
- Marta_Kwiatkowska type CausalAgent100007347.
- Marta_Kwiatkowska type Colleague109935990.
- Marta_Kwiatkowska type ComputerScientist109951070.
- Marta_Kwiatkowska type ComputerUser109951274.
- Marta_Kwiatkowska type Educator110045713.
- Marta_Kwiatkowska type FellowsOfTrinityCollege,Oxford.
- Marta_Kwiatkowska type FormalMethodsPeople.
- Marta_Kwiatkowska type LivingPeople.
- Marta_Kwiatkowska type LivingThing100004258.
- Marta_Kwiatkowska type Object100002684.
- Marta_Kwiatkowska type Organism100004475.
- Marta_Kwiatkowska type Peer109626238.
- Marta_Kwiatkowska type Person100007846.
- Marta_Kwiatkowska type PhysicalEntity100001930.
- Marta_Kwiatkowska type PolishComputerScientists.
- Marta_Kwiatkowska type Professional110480253.
- Marta_Kwiatkowska type Scientist110560637.
- Marta_Kwiatkowska type Whole100003553.
- Marta_Kwiatkowska type WomenComputerScientists.
- Marta_Kwiatkowska type YagoLegalActor.
- Marta_Kwiatkowska type YagoLegalActorGeo.
- Marta_Kwiatkowska type Agent.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska type Q215627.
- Marta_Kwiatkowska type Q5.
- Marta_Kwiatkowska type Agent.
- Marta_Kwiatkowska type NaturalPerson.
- Marta_Kwiatkowska type Thing.
- Marta_Kwiatkowska type Person.
- Marta_Kwiatkowska comment "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 the Jagiellonian University in Cracow, Poland, and the University of Leicester in England.".
- Marta_Kwiatkowska label "Marta Kwiatkowska".
- Marta_Kwiatkowska sameAs m.0g9vc_y.
- Marta_Kwiatkowska sameAs Q11760.
- Marta_Kwiatkowska sameAs Q11760.
- Marta_Kwiatkowska sameAs Marta_Kwiatkowska.
- Marta_Kwiatkowska wasDerivedFrom Marta_Kwiatkowska?oldid=577288406.
- Marta_Kwiatkowska givenName "Marta Zofia".
- Marta_Kwiatkowska isPrimaryTopicOf Marta_Kwiatkowska.
- Marta_Kwiatkowska name "Kwiatkowska, Marta Zofia".
- Marta_Kwiatkowska name "Marta Zofia Kwiatkowska".
- Marta_Kwiatkowska surname "Kwiatkowska".