Prof. Marta Zofia Kwiatkowska

Education

• 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
  
  

Employment

• 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
  
  

• 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.

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