Marta Kwiatkowska (original) (raw)
- 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 (de)
- 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. (fr)
- 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. (en)
- Marta Zofia Kwiatkowska (en)
- dbr:University_of_Birmingham
- dbr:University_of_Leicester
- dbr:University_of_Oxford
- dbr:Jagiellonian_University
- https://www.bcs.org/
- https://ellis.eu/
- https://www.acm.org/
- http://www.fun2model.org/
- https://kr2020.inf.unibz.it/
- https://saiconference.com/Conferences/IntelliSys2016
- https://womenintechsummit.pl/
- https://www.suffragescience.org/
- https://www.springer.com/journal/10703
- https://royalsocietypublishing.org/journal/rsos
- https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx
- https://www.cs.ox.ac.uk/societies/women/
- http://www.cs.ox.ac.uk/
- 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,-March%202015%20to&text=Vision%3A%20To%20create%2C%20run%20and,societal%20adaptation%20of%20mobile%20robotics.
- https://www.trinity.ox.ac.uk/people/marta-kwiatkowska
- https://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml
- https://www.youtube.com/watch%3Fv=Y8J-vzkbgdw
- https://www.youtube.com/watch%3Fv=qZSp_cIRtAk&list=PL0Q9_MomjV2lxQAcPCdfOR7jmlxbtlTgK&index=5
- https://www.youtube.com/watch%3Fv=wI2w0GwNcGs
- https://ethos.bl.uk/OrderDetails.do%3Fuin=uk.bl.ethos.521489
- https://royalsociety.org/science-events-and-lectures/2018/11/milner-lecture/
- 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
- 30544835 (xsd:integer)
- 20507 (xsd:nonNegativeInteger)
- 1116806334 (xsd:integer)
- dbr:Royal_Society
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbc:Polish_computer_scientists
- dbr:University_of_Birmingham
- dbr:University_of_California,_Berkeley
- dbr:University_of_Leicester
- dbr:University_of_Oxford
- dbr:Information_and_Computation
- dbr:Principal_investigator
- dbr:Simons_Institute_for_the_Theory_of_Computing
- dbc:Living_people
- dbr:Computer_Science
- dbr:Master_of_Science
- dbr:Engineering_and_Physical_Sciences_Research_Council
- dbr:Model_checking
- dbr:Concurrency_(computer_science)
- dbr:Computer_scientist
- dbc:Polish_women_computer_scientists
- dbr:Fellow
- dbr:BCS_Lovelace_Medal
- dbr:Bachelor_of_Science
- dbc:1957_births
- dbc:Academics_of_the_University_of_Birmingham
- dbc:Academics_of_the_University_of_Leicester
- dbc:Fellows_of_Trinity_College,_Oxford
- dbc:Fellows_of_the_Royal_Society
- dbr:British_Computer_Society
- dbc:British_women_computer_scientists
- dbc:Jagiellonian_University_faculty
- dbc:Female_Fellows_of_the_Royal_Society
- dbc:Polish_women_academics
- dbr:Trinity_College,_Oxford
- dbr:Doctor_of_Philosophy
- dbr:Latin_honors
- dbr:Logical_Methods_in_Computer_Science
- dbr:ACM_Fellow
- dbr:Academia_Europaea
- dbr:Fellow_of_the_Royal_Society
- dbr:Formal_verification
- dbr:Oxford
- dbr:Editorial_board
- dbr:Global_Partnership_on_Artificial_Intelligence
- dbr:PRISM_model_checker
- dbr:Reader_(academic_rank)
- dbr:Hay_Festival
- dbr:Jagiellonian_University
- dbc:Fellows_of_the_Association_for_Computing_Machinery
- dbc:British_people_of_Polish_descent
- dbc:British_computer_scientists
- dbc:Jagiellonian_University_alumni
- dbc:Members_of_Academia_Europaea
- dbc:Formal_methods_people
- dbc:Women_logicians
- dbr:Doctorate
- dbr:Poland
- dbr:Poles
- dbr:Krakow
- dbr:Milner_Award
- dbr:Automated_verification
- dbr:Royal_Institute_of_Technology
- dbr:Semantics_(computer_science)
- dbr:European_Association_for_Theoretical_Computer_Science
- dbr:Polish_Society_of_Arts_and_Sciences_Abroad
- dbr:Oxford_University_Department_of_Computer_Science
- Jagiellonian University (en)
- University of Leicester (en)
- (en)
- (en)
- ACM Fellow (en)
- Milner Award (en)
- BCS Lovelace Medal (en)
- Marta Zofia Kwiatkowska (en)
- Kwiatkowska in 2018 (en)
- British (en)
- Computer Science (en)
- (en)
- Automated verification (en)
- Probabilistic quantitative model checking (en)
- Marta Kwiatkowska (en)
- Polish (en)
- Fairness for non-interleaving concurrency (en)
- 1989 (xsd:integer)
- dbt:Authority_control
- dbt:Citation_needed
- dbt:EngvarB
- dbt:External_links
- dbt:Post-nominals
- dbt:Reflist
- dbt:Short_description
- dbt:URL
- dbt:Use_dmy_dates
- dbt:Birth_year_and_age
- dbt:Infobox_scientist
- dbt:FRS_2019
- Jagiellonian University (en)
- University of Birmingham (en)
- University of Leicester (en)
- University of Oxford (en)
- (en)
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbc:Polish_computer_scientists
- dbc:Living_people
- dbc:Polish_women_computer_scientists
- dbc:1957_births
- dbc:Academics_of_the_University_of_Birmingham
- dbc:Academics_of_the_University_of_Leicester
- dbc:Fellows_of_Trinity_College,_Oxford
- dbc:Fellows_of_the_Royal_Society
- dbc:British_women_computer_scientists
- dbc:Jagiellonian_University_faculty
- dbc:Female_Fellows_of_the_Royal_Society
- dbc:Polish_women_academics
- dbc:Fellows_of_the_Association_for_Computing_Machinery
- dbc:British_people_of_Polish_descent
- dbc:British_computer_scientists
- dbc:Jagiellonian_University_alumni
- dbc:Members_of_Academia_Europaea
- dbc:Formal_methods_people
- dbc:Women_logicians
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- yago:WikicatBritishComputerScientists
- yago:WikicatBritishPeopleOfPolishDescent
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- schema:Person
- yago:WikicatLivingPeople
- yago:WikicatWomenComputerScientists
- wikidata:Q901
- yago:Academician109759069
- yago:Adult109605289
- yago:Associate109816771
- yago:CausalAgent100007347
- yago:Colleague109935990
- yago:ComputerScientist109951070
- yago:ComputerUser109951274
- yago:Educator110045713
- yago:LivingThing100004258
- yago:Object100002684
- yago:Organism100004475
- yago:Peer109626238
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:Professional110480253
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatAcademicsOfTheUniversityOfBirmingham
- yago:WikicatAcademicsOfTheUniversityOfLeicester
- yago:WikicatFellowsOfTrinityCollege,Oxford
- yago:WikicatFormalMethodsPeople
- yago:WikicatPolishComputerScientists
- 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 (de)
- 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. (fr)
- 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. (en)
- Marta Kwiatkowska (de)
- Marta Kwiatkowska (fr)
- Marta Kwiatkowska (en)
- freebase:Marta Kwiatkowska
- http://viaf.org/viaf/111220648
- yago-res:Marta Kwiatkowska
- http://d-nb.info/gnd/172202590
- https://dblp.org/pid/k/MartaZKwiatkowska
- https://orcid.org/0000-0001-9022-7599
- wikidata:Marta Kwiatkowska
- http://data.bibliotheken.nl/id/thes/p087953811
- dbpedia-de:Marta Kwiatkowska
- dbpedia-fr:Marta Kwiatkowska
- http://mg.dbpedia.org/resource/Marta_Kwiatkowska
- https://global.dbpedia.org/id/DuFh
- Marta Kwiatkowska (en)
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
- dbr:List_of_fellows_of_the_Royal_Society_J,_K,_L
- dbr:List_of_fellows_of_the_Royal_Society_elected_in_2019
- dbr:Department_of_Computer_Science,_University_of_Oxford
- dbr:List_of_female_scientists_in_the_20th_century
- dbr:Index_of_women_scientists_articles
- dbr:Kwiatkowski
- dbr:Suffrage_Science_award
- dbr:BCS-FACS
- dbr:BCS_Lovelace_Medal
- dbr:Large-scale_Complex_IT_Systems
- dbr:Adriaan_van_Wijngaarden
- dbr:List_of_Jagiellonian_University_people
- dbr:Milner_Award
- dbr:European_Association_for_Theoretical_Computer_Science
- dbr:Marta_Z._Kwiatkowska
is foaf:primaryTopic of