|
gptkbp:instance_of
|
gptkb:Person
|
|
gptkbp:academic_advisor
|
gptkb:Michael_Gordon
|
|
gptkbp:academic_network
|
gptkb:European_Research_Consortium
|
|
gptkbp:affiliation
|
gptkb:University_of_Oxford
|
|
gptkbp:award
|
gptkb:Royal_Society_Wolfson_Research_Merit_Award
Best Paper Award
|
|
gptkbp:birth_year
|
gptkb:1970
|
|
gptkbp:class
|
Formal Methods in Computer Science
|
|
gptkbp:collaborations
|
International Research Community
Interdisciplinary Projects
|
|
gptkbp:collaborative_projects
|
Automated Verification of Software
|
|
gptkbp:collaborator
|
gptkb:Marta_Kwiatkowska
|
|
gptkbp:community_engagement
|
STEM Outreach Programs
|
|
gptkbp:community_service
|
Program Committee Member
|
|
gptkbp:conference
|
International Conference on Formal Methods
|
|
gptkbp:contribution
|
Advancements in AI Safety
Model Checking Techniques
Quantitative Analysis of Systems
|
|
gptkbp:editor
|
gptkb:Journal_of_Automated_Reasoning
|
|
gptkbp:editorial_focus
|
gptkb:ACM_Transactions_on_Computational_Logic
Springer Journal
|
|
gptkbp:fellowship
|
British Computer Society Fellow
|
|
gptkbp:field_of_study
|
gptkb:Artificial_Intelligence
|
|
gptkbp:grants
|
EPSRC Grant
|
|
gptkbp:has_research_focus
|
Oxford University Computing Laboratory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
M. A. (Marta) Kwiatkowska
|
|
gptkbp:impact
|
High Citation Index
|
|
gptkbp:influenced_by
|
gptkb:David_Harel
|
|
gptkbp:invention
|
Verification of Probabilistic Systems
|
|
gptkbp:invites
|
Verification in Practice
|
|
gptkbp:is_taught_in
|
Computer Science Courses
|
|
gptkbp:membership
|
IEEE Member
|
|
gptkbp:mentor
|
Ph D Students
|
|
gptkbp:nationality
|
gptkb:Polish
|
|
gptkbp:notable_speakers
|
gptkb:International_Conference_on_Software_Engineering
Formal Methods Symposium
|
|
gptkbp:notable_work
|
Probabilistic Model Checking
|
|
gptkbp:profession
|
gptkb:Computer_Scientist
|
|
gptkbp:publication
|
Quantitative Verification
Formal Methods for System Design
|
|
gptkbp:publication_year
|
gptkb:2017
gptkb:2018
gptkb:2019
gptkb:2020
gptkb:2021
|
|
gptkbp:publications
|
Journal of Logic and Algebraic Programming
|
|
gptkbp:research
|
Formal Verification Techniques
|
|
gptkbp:research_areas
|
gptkb:developers
|
|
gptkbp:research_focus
|
Model Checking and Verification
|
|
gptkbp:research_interest
|
Formal Methods
|
|
gptkbp:scholar_profile
|
gptkb:Google_Scholar
|
|
gptkbp:scholarly_analysis
|
gptkb:Professor
|
|
gptkbp:title
|
Probabilistic Model Checking
|
|
gptkbp:bfsParent
|
gptkb:European_Sociological_Review
|
|
gptkbp:bfsLayer
|
7
|