About: Marta Kwiatkowska

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Marta Kwiatkowska Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatPolishComputerScientists, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMarta_Kwiatkowska

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatBritishComputerScientists yago:WikicatBritishPeopleOfPolishDescent animal eukaryote scientist species schema:Person yago:WikicatLivingPeople yago:WikicatWomenComputerScientists Scientist 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
rdfs:label	Marta Kwiatkowska (de) Marta Kwiatkowska (fr) Marta Kwiatkowska (en)
rdfs:comment	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)
foaf:name	Marta Kwiatkowska (en)
name	Marta Kwiatkowska (en)
foaf:depiction
dcterms:subject	Members of the Department of Computer Science, University of Oxford Polish computer scientists Living people Polish women computer scientists 1957 births Academics of the University of Birmingham Academics of the University of Leicester Fellows of Trinity College, Oxford Fellows of the Royal Society British women computer scientists Jagiellonian University faculty Female Fellows of the Royal Society Polish women academics Fellows of the Association for Computing Machinery British people of Polish descent British computer scientists Jagiellonian University alumni Members of Academia Europaea Formal methods people Women logicians
Wikipage page ID	30544835 (xsd:integer)
Wikipage revision ID	1116806334 (xsd:integer)
Link from a Wikipage to another Wikipage	Royal Society Members of the Department of Computer Science, University of Oxford Polish computer scientists University of Birmingham University of California, Berkeley University of Leicester University of Oxford Information and Computation Principal investigator Simons Institute for the Theory of Computing Living people Computer Science Master of Science Engineering and Physical Sciences Research Council Model checking Concurrency (computer science) Computer scientist Polish women computer scientists Fellow BCS Lovelace Medal Bachelor of Science 1957 births Academics of the University of Birmingham Academics of the University of Leicester Fellows of Trinity College, Oxford Fellows of the Royal Society British Computer Society

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software