| http://dbpedia.org/ontology/abstract
|
Marta Zofia Kwiatkowska FRS MAE is a Polis … 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., timely and resource-efficient operation.
, Marta Zofia Kwiatkowska est une informatic … 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.té d'Oxford, et Fellow du Trinity College.
, Marta Zofia Kwiatkowska (* 26. Februar 195 … 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, Oxfordd ein Mitglied des Trinity College, Oxford
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Automated_verification +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Jagiellonian_University +
, http://dbpedia.org/resource/University_of_Leicester +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/BCS_Lovelace_Medal +
, http://dbpedia.org/resource/ACM_Fellow +
, http://dbpedia.org/resource/Milner_Award +
|
| http://dbpedia.org/ontology/birthName
|
Marta Zofia Kwiatkowska
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/University_of_Leicester +
, http://dbpedia.org/resource/University_of_Birmingham +
, http://dbpedia.org/resource/Jagiellonian_University +
, http://dbpedia.org/resource/University_of_Oxford +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/Poles +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Marta_Kwiatkowska.png?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://royalsocietypublishing.org/journal/rsos +
, https://www.youtube.com/watch%3Fv=Y8J-vzkbgdw +
, https://ethos.bl.uk/OrderDetails.do%3Fuin=uk.bl.ethos.521489 +
, https://www.cs.ox.ac.uk/societies/women/ +
, https://www.bcs.org/ +
, https://www.springer.com/journal/10703 +
, https://www.youtube.com/watch%3Fv=wI2w0GwNcGs +
, https://royalsociety.org/science-events-and-lectures/2018/11/milner-lecture/ +
, https://saiconference.com/Conferences/IntelliSys2016 +
, https://www.bcs.org/content-hub/bcs-lovelace-lecture-202021-probabilistic-model-checking-for-the-data-rich-world/%3F_hsmi=129637797&_hsenc=p2ANqtz-8xOFeveteYDYI0oDmF4BW0k3DMlgqqodxIwCkas38NoVD7WCdvbtFNjFfQ8gqK4OoXrmgYQo6sXJshBqIg-8seT2hxZQ +
, https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx +
, https://www.trinity.ox.ac.uk/people/marta-kwiatkowska +
, https://womenintechsummit.pl/ +
, http://www.cs.ox.ac.uk/people/marta.kwiatkowska/ +
, http://www.cs.ox.ac.uk/projects/MobileRobotics/index.html%23:~:text=Mobile%20Autonomy%20Programme%20Grant%3A%20Safety%2C%20Trust%20and%20Integrity%2C-March%202015%20to&text=Vision%3A%20To%20create%2C%20run%20and%2Csocietal%20adaptation%20of%20mobile%20robotics. +
, https://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml +
, http://www.cs.ox.ac.uk/ +
, https://www.suffragescience.org/ +
, https://www.acm.org/ +
, https://kr2020.inf.unibz.it/ +
, https://ellis.eu/ +
, http://www.fun2model.org/ +
, https://www.youtube.com/watch%3Fv=qZSp_cIRtAk&list=PL0Q9_MomjV2lxQAcPCdfOR7jmlxbtlTgK&index=5 +
|
| http://dbpedia.org/ontology/wikiPageID
|
30544835
|
| http://dbpedia.org/ontology/wikiPageLength
|
20507
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116806334
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Oxford_University_Department_of_Computer_Science +
, http://dbpedia.org/resource/Latin_honors +
, http://dbpedia.org/resource/Doctorate +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Category:Polish_women_academics +
, http://dbpedia.org/resource/Category:Polish_computer_scientists +
, http://dbpedia.org/resource/Jagiellonian_University +
, http://dbpedia.org/resource/Category:British_women_computer_scientists +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Fellow_of_the_Royal_Society +
, http://dbpedia.org/resource/Krakow +
, http://dbpedia.org/resource/Bachelor_of_Science +
, http://dbpedia.org/resource/Trinity_College%2C_Oxford +
, http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science%2C_University_of_Oxford +
, http://dbpedia.org/resource/Poles +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Poland +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Engineering_and_Physical_Sciences_Research_Council +
, http://dbpedia.org/resource/Category:British_people_of_Polish_descent +
, http://dbpedia.org/resource/Category:Female_Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Category:Jagiellonian_University_faculty +
, http://dbpedia.org/resource/Editorial_board +
, http://dbpedia.org/resource/Category:Jagiellonian_University_alumni +
, http://dbpedia.org/resource/Milner_Award +
, http://dbpedia.org/resource/Category:Fellows_of_Trinity_College%2C_Oxford +
, http://dbpedia.org/resource/Category:1957_births +
, http://dbpedia.org/resource/Category:Polish_women_computer_scientists +
, http://dbpedia.org/resource/Logical_Methods_in_Computer_Science +
, http://dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://dbpedia.org/resource/British_Computer_Society +
, http://dbpedia.org/resource/Academia_Europaea +
, http://dbpedia.org/resource/Royal_Institute_of_Technology +
, http://dbpedia.org/resource/Hay_Festival +
, http://dbpedia.org/resource/Royal_Society +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Automated_verification +
, http://dbpedia.org/resource/University_of_Birmingham +
, http://dbpedia.org/resource/Category:Women_logicians +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Reader_%28academic_rank%29 +
, http://dbpedia.org/resource/Principal_investigator +
, http://dbpedia.org/resource/University_of_Leicester +
, http://dbpedia.org/resource/Simons_Institute_for_the_Theory_of_Computing +
, http://dbpedia.org/resource/University_of_California%2C_Berkeley +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Polish_Society_of_Arts_and_Sciences_Abroad +
, http://dbpedia.org/resource/PRISM_model_checker +
, http://dbpedia.org/resource/Oxford +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Birmingham +
, http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Global_Partnership_on_Artificial_Intelligence +
, http://dbpedia.org/resource/BCS_Lovelace_Medal +
, http://dbpedia.org/resource/ACM_Fellow +
, http://dbpedia.org/resource/Master_of_Science +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/Information_and_Computation +
, http://dbpedia.org/resource/Semantics_%28computer_science%29 +
|
| http://dbpedia.org/property/almaMater
|
University of Leicester
, Jagiellonian University
|
| http://dbpedia.org/property/awards
|
ACM Fellow
, BCS Lovelace Medal
, Milner Award
|
| http://dbpedia.org/property/birthName
|
Marta Zofia Kwiatkowska
|
| http://dbpedia.org/property/caption
|
Kwiatkowska in 2018
|
| http://dbpedia.org/property/citizenship
|
British
|
| http://dbpedia.org/property/fields
|
Probabilistic quantitative model checking
, Computer Science
, Automated verification
|
| http://dbpedia.org/property/name
|
Marta Kwiatkowska
|
| http://dbpedia.org/property/nationality
|
Polish
|
| http://dbpedia.org/property/thesisTitle
|
Fairness for non-interleaving concurrency
|
| http://dbpedia.org/property/thesisUrl
|
https://ethos.bl.uk/OrderDetails.do%3Fuin=uk.bl.ethos.521489 +
|
| http://dbpedia.org/property/thesisYear
|
1989
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Birth_year_and_age +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:URL +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:External_links +
, http://dbpedia.org/resource/Template:FRS_2019 +
, http://dbpedia.org/resource/Template:EngvarB +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Post-nominals +
|
| http://dbpedia.org/property/workplaces
|
University of Leicester
, Jagiellonian University
, University of Oxford
, University of Birmingham
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Polish_women_academics +
, http://dbpedia.org/resource/Category:Women_logicians +
, http://dbpedia.org/resource/Category:Polish_women_computer_scientists +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Fellows_of_Trinity_College%2C_Oxford +
, http://dbpedia.org/resource/Category:British_people_of_Polish_descent +
, http://dbpedia.org/resource/Category:Jagiellonian_University_alumni +
, http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Category:1957_births +
, http://dbpedia.org/resource/Category:Polish_computer_scientists +
, http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science%2C_University_of_Oxford +
, http://dbpedia.org/resource/Category:Jagiellonian_University_faculty +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Birmingham +
, http://dbpedia.org/resource/Category:Female_Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Category:British_women_computer_scientists +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/111220648 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Marta_Kwiatkowska?oldid=1116806334&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Marta_Kwiatkowska.png +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Marta_Kwiatkowska +
|
| http://xmlns.com/foaf/0.1/name
|
Marta Kwiatkowska
|
| owl:sameAs |
http://viaf.org/viaf/111220648 +
, http://fr.dbpedia.org/resource/Marta_Kwiatkowska +
, http://rdf.freebase.com/ns/m.0g9vc_y +
, http://yago-knowledge.org/resource/Marta_Kwiatkowska +
, http://data.bibliotheken.nl/id/thes/p087953811 +
, http://de.dbpedia.org/resource/Marta_Kwiatkowska +
, http://www.wikidata.org/entity/Q11760 +
, http://mg.dbpedia.org/resource/Marta_Kwiatkowska +
, https://global.dbpedia.org/id/DuFh +
, http://d-nb.info/gnd/172202590 +
, https://dblp.org/pid/k/MartaZKwiatkowska +
, https://orcid.org/0000-0001-9022-7599 +
, http://dbpedia.org/resource/Marta_Kwiatkowska +
|
| rdf:type |
http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatBritishComputerScientists +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatBritishPeopleOfPolishDescent +
, http://www.wikidata.org/entity/Q729 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatPolishComputerScientists +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfLeicester +
, http://dbpedia.org/class/yago/WikicatWomenComputerScientists +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfBirmingham +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTrinityCollege%2COxford +
, http://dbpedia.org/ontology/Animal +
|
| rdfs:comment |
Marta Zofia Kwiatkowska est une informatic … 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.té d'Oxford, et Fellow du Trinity College.
, Marta Zofia Kwiatkowska (* 26. Februar 195 … 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, Oxfordd ein Mitglied des Trinity College, Oxford
, Marta Zofia Kwiatkowska FRS MAE is a Polis … 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., timely and resource-efficient operation.
|
| rdfs:label |
Marta Kwiatkowska
|
