Marta Z. Kwiatkowska#


Marta Z. Kwiatkowska
Email:marta.kwiatkowska 'at' cs.ox.ac.uk
Membership Number:2911
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:mkwiatkowska
Elected:2011
Homepage: http://www.cs.ox.ac.uk/marta.kwiatkowska





Present and Previous Positions
  • 2007-present Professor of Computing Systems and Fellow of Trinity College, University of Oxford
  • 2001-2007 Professor of Computer Science, University of Birmingham
  • 1998-2001 Reader in Semantics for Concurrency, University of Birmingham
  • 1994-1998 Lecturer in Computer Science, University of Birmingham
  • 1986-1994 Lecturer in Computer Science, University of Leicester
  • 1984-1986 Research Scholar, University of Leicester
  • 1980-1988 Assistant Professor, Jagiellonian University, Kraków, Poland


Fields of Scholarship
  • Automated verification
  • Probabilistic model checking
  • Temporal logics
  • Semantic models for concurrency, probability and real-time
  • Applications of model checking to ubiquitous computing
  • Modelling and analysis of biological processes


Honours and Awards
  • 2010 ERC Advanced Grant 246967 VERIWARE: From software verification to everyware verification, 2,046K euro, 2010-1015
  • 2010 CAV Award Committee, 2011-2015
  • 2010 Top Cited Article award in the journal Theoretical Computer Science for the period 2005-2010. Paper Probabilistic Model Checking of Complex Biological Pathways by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn
  • 2007 Fellow of the British Computer Society
  • 2006 Best Paper Award, Quantitative Evaluation of Systems (QEST) Conference Paper Game-based Abstraction for Markov Decision Processes by Marta Kwiatkowska, Gethin Norman and David Parker.


Imprint Privacy policy « This page (revision-6) was last updated on Friday, 20. July 2012, 15:32 by Kaiser Dana
  • operated by