Short CV/Education and training


  • 1984 – 1989
    PhD in Computer Science (part-time), University of Leicester

  • 1976 – 1980
    BSc/MSc in Computer Science with distinction (summa cum laude), Jagiellonian University, Kraków, Poland


  • 1980 – 1988
    Assistant Professor, Jagiellonian University, Kraków, Poland

  • 1984 – 1986
    Research Scholar, University of Leicester

  • 1986 – 1994
    Lecturer in Computer Science, University of Leicester

  • 1994 – 1998
    Lecturer in Computer Science, University of Birmingham

  • 1998 – 2001
    Reader in Semantics for Concurrency, University of Birmingham

  • 2001 – 2007
    Professor of Computer Science, University of Birmingham

  • Since 2007
    Professor of Computing Systems and Fellow of Trinity College, University of Oxford

Selected publications

  • A. Jovanovic, M. Kwiatkowska, G. Norman and Quentin Peyras. Symbolic Optimal

    Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed

    Automata. To appear in Theoretical Computer Science, 2017.

  • N. Basset, M. Kwiatkowska, U. Topcu, and C. Wiltsche. Compositional Strategy Synthesis

    for Stochastic Games with Multiple Objectives. Accepted to Information and Computation

    subject to revisions.

  • L. Cardelli, M. Kwiatkowska, L. Laurenti. Stochastic Analysis of Chemical Reaction

    Networks Using Linear Noise Approximation. To appear, Biosystems, 2017.

  • M. Svorenova and M. Kwiatkowska. Quantitative Verification and Strategy Synthesis for

    Stochastic Games. European Journal of Control, Elsevier. To appear, 2016.

  • Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi. Expected

    Reachability-Time Games. Theoretical Computer Science, 631, pages 139-160, 2016.

  • M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim. Precise Parameter

    Synthesis for Stochastic Biochemical Systems. Acta Informatica. To appear, 2016.

  • K. Dunn, F. Dannenberg, T. Ouldridge, M, Kwiatkowska, A. Turberfield, J. Bath. Guiding

    the folding pathway of DNA origami. Nature, 525, pages 82–86, Nature Publishing Group.

    September 2015.

  • F. Dannenberg, K. Dunn, J. Bath, M. Kwiatkowska, A. Turberfield, and T. Ouldridge.

    Modelling DNA Origami Self-Assembly at the Domain Level. Journal of Chemical Physics,

    143(16). 2015.

  • Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska. Simulation-based Verification

    of Cardiac Pacemakers with Guaranteed Coverage. IEEE Design & Test, 32(5), pages 27 -

    34, IEEE. June 2015.

  • K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker, M. Ujma. Permissive Controller

    Synthesis for Probabilistic Systems. Logical Methods in Computer Science, 11(2:16), pages

    1-34, 2015.

Complete list of publications

Membership in scientific bodies/juries

Award Committee Membership

  • Member, Presburger Award, since 2016

  • Member, CAV (Computer-Aided Verification) Award Panel, 2010 – 2014

  • Nominator, Japan Prize 2014

Review Panel Membership

  • Chair, ERC Starting Grants Panel (PE6), 2012 – 2016.

  • Member, REF 2014 Subpanel 11 (Computer Science and Informatics)

  • Member, Royal Society Dorothy Hodgkin Fellowships Panel, since 2012

  • Member, NWO Gravitation Panel, the Netherlands, 2012

  • Member, Vienna Science Technology Fund Panel, 2012 and 2015

  • Member, Dutch Informatics Review Panel, 2009

  • Member, Royal Society International Fellowships Committee, 2008 – 2010

  • Advisor, Carnegie Scholarships Trust, 2006 – 2014

  • Member of EPSRC Computing College and Fellowships/Prioritisation Panels, since 1998

  • Member, BBSRC Engineering and Biological Systems (EBS, Committee C) Committee, 2008 – 2010

  • Member of Nuffield Science Foundation panel, 2002 – 2006

  • International expert assessor for Australian Research Council, now Netherlands, NERC Canada

    and Israel Science Foundation

Advisory Board Membership

  • Member, Scientific Steering Committee of the Isaac Newton Institute in Cambridge, 2015 – 2017

  • Member, Scientific Council, SystemX, Institute for Technology Research, 2013 – 2016

  • Member, KTH ACCESS Linnaeus Centre Scientific Advisory Board, 2009 – 2013

  • Member, Digiteo Scientific Committee, one of the 13 RTRA (Réseaux Thématiques de Recherche Avancée), 2008 – 2015

  • Member, Advisory Board, MT-LAB, the Villum Kann Rasmussen Foundation Centre of Excellence in Denmark, 2008 – 2013


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

Follow us

Similar profiles

  1. PhD Piedad Brox Jiménez

    Information and Communication Technologies (ICTs), Microelectronics

  2. Dr. Maria Anisimova

    Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution

  3. Prof. Dr. Dr. Francesca Buffa

    Biological and related sciences, Health, Information and Communication Technologies (ICTs), Mathematics and statistics, Computational biology, Bioinformatics, Mathematical modelling, Genomics, Epigenetics, Trascriptomics

  4. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs), Data Management Research

Academia Net