Marta Z. Kwiatkowska#


Marta Z. Kwiatkowska
Membership Number:2911
Membership type:ORDINARY
Section:INFORMATICS
Elected:2011
Main Country of Residence:UNITED KINGDOM
Homepage(s):https://www.cs.ox.ac.uk/people/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
  • Fellow of the Royal Society, Fellow of ACM, Fellow of EATCS, Fellow of the BCS and Fellow of Polish Society of Arts & Sciences Abroad
  • 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-10) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by