World's Best Scientists 2026 revealed!
Award Badge
Computer Science
UK
2025

D-Index & Metrics

Computer Science

D-Index
76
Citations
25812
World Ranking
1330
National Ranking
78

Research.com Recognitions

  • 2025 - Research.com Computer Science in United Kingdom Leader Award
  • 2023 - Research.com Computer Science in United Kingdom Leader Award
  • 2022 - Research.com Computer Science in United Kingdom Leader Award
  • 2016 - ACM Fellow For contributions to the theory and practice of probabilistic verification.

Overview

Marta Kwiatkowska is affiliated with the University of Oxford in the United Kingdom. Their research primarily spans the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Control and Systems Engineering, Molecular Biology, and Management Science and Operations Research.

The scientist's work covers a range of main topics including Adversarial Robustness in Machine Learning, Machine Learning and Algorithms, Formal Methods in Verification, Fault Detection and Control Systems, Reinforcement Learning in Robotics, Bayesian Modeling and Causal Inference, and Explainable Artificial Intelligence (XAI).

Frequent publication venues for Marta Kwiatkowska include:

  • arXiv (Cornell University)
  • Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
  • IRIS Research product catalog (Sapienza University of Rome)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Value in Health

Some notable recent papers authored or co-authored by Marta Kwiatkowska are:

  • PID control of biochemical reaction networks, 2022, IRIS Research product catalog (Sapienza University of Rome)
  • Invariant Causal Prediction for Block MDPs, 2020, arXiv (Cornell University)
  • Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes, 2020, IEEE Transactions on Automatic Control
  • On the Benefits of Invariance in Neural Networks, 2020, arXiv (Cornell University)
  • Rational verification: game-theoretic verification of multi-agent systems, 2021, Applied Intelligence

Marta Kwiatkowska has collaborated frequently with several researchers, including:

  • Gethin Norman
  • Luca Laurenti
  • David Parker
  • Andrea Patanè
  • Matthew Wicker

In recognition of their contributions, Marta Kwiatkowska was awarded the ACM Fellow distinction in 2016 for contributions to the theory and practice of probabilistic verification.

Best Publications

  • PRISM 4.0: verification of probabilistic real-time systems

    Marta Kwiatkowska;Gethin Norman;David Parker

  • PRISM : A tool for automatic verification of probabilistic systems

    Andrew Hinton;Marta Kwiatkowska;Gethin Norman;David Parker

  • Safety Verification of Deep Neural Networks

    Xiaowei Huang;Marta Kwiatkowska;Sen Wang;Min Wu

  • PRISM: Probabilistic Symbolic Model Checker

    Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Stochastic model checking

    Marta Kwiatkowska;Gethin Norman;David Parker

  • Dynamic QoS Management and Optimization in Service-Based Systems

    R Calinescu;L Grunske;M Kwiatkowska;R Mirandola

  • Automatic verification of real-time systems with discrete probability distributions

    Marta Kwiatkowska;Gethin Norman;Roberto Segala;Jeremy Sproston

  • Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

    Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Automated Verification Techniques for Probabilistic Systems

    Vojtech Forejt;Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Automatic verification of competitive stochastic systems

    Taolue Chen;Vojtech Forejt;Marta Z. Kwiatkowska;David Parker

  • Self-adaptive software needs quantitative verification at runtime

    Radu Calinescu;Carlo Ghezzi;Marta Kwiatkowska;Raffaela Mirandola

  • Concolic testing for deep neural networks

    Youcheng Sun;Min Wu;Wenjie Ruan;Xiaowei Huang

  • PRISM: probabilistic model checking for performance and reliability analysis

    Marta Kwiatkowska;Gethin Norman;David Parker

  • Performance analysis of probabilistic timed automata using digital clocks

    Marta Kwiatkowska;Gethin Norman;David Parker;Jeremy Sproston

  • Model checking for a probabilistic branching time logic with fairness

    Christel Baier;Marta Kwiatkowska

  • Symbolic model checking for probabilistic timed automata

    Marta Kwiatkowska;Gethin Norman;Jeremy Sproston;Fuzhi Wang

  • Large-scale complex IT systems

    Ian Sommerville;Dave Cliff;Radu Calinescu;Justin Keen

  • Numerical vs. statistical probabilistic model checking

    Håkan L. S. Younes;Marta Kwiatkowska;Gethin Norman;David Parker

  • Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

    J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker

  • Reachability analysis of deep neural networks with provable guarantees

    Wenjie Ruan;Xiaowei Huang;Marta Kwiatkowska

  • Probabilistic model checking of complex biological pathways

    John Heath;Marta Kwiatkowska;Gethin Norman;David Parker

Frequent Co-Authors

Gethin Norman
Gethin Norman University of Glasgow
David Parker
David Parker University of Oxford
Luca Cardelli
Luca Cardelli University of Oxford
Christel Baier
Christel Baier TU Dresden
Bengt Jonsson
Bengt Jonsson Uppsala University
Alessandro Abate
Alessandro Abate University of Oxford
Roberto Segala
Roberto Segala University of Verona
Antonia Bertolino
Antonia Bertolino National Research Council (CNR)
Prakash Panangaden
Prakash Panangaden McGill University
Daniel Kroening
Daniel Kroening Amazon (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science studies in the USA can open up a range of online degree options and career pathways. Many students start with an associates degree online, which can provide foundational knowledge and help kickstart your tech career. For those concerned about the cost, there are plenty of cheapest online colleges that make gaining a computer science education more affordable.

If your academic record isn’t perfect, you can still find a college with low gpa admissions policies. These institutions support students from diverse backgrounds and can offer a second chance to pursue a tech degree. Graduates with a CS background also enjoy varied career opportunities, similar to those with jobs with elementary education and environmental science degree—from teaching to research, and information technology roles.

By choosing the right online program, you can tailor your educational experience to your goals, budget, and academic background—laying a pathway to a dynamic and rewarding tech career.

Best Scientists Citing Marta Kwiatkowska

Trending Scientists