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