Marta Kwiatkowska
Lua error in package.lua at line 80: module 'strict' not found.
Marta Zofia Kwiatkowska is a computer scientist based in the United Kingdom. She is Professor of Computing Systems at the Oxford University Department of Computer Science, University of Oxford, England.
Marta Kwiatkowska held academic posts at Jagiellonian University, Cracow, Poland, the University of Leicester, England, and the University of Birmingham, where she became a Professor of Computer Science.[1] Since 2007, she has been a Fellow of Trinity College, Oxford.[1]
Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking.[1] She has been involved in the development of the PRISM model checker. Kwiatkowska has published widely in academic journals and conferences.[2][3]
References
- ↑ 1.0 1.1 1.2 Marta Kwiatkowska, Oxford University Computing Laboratory, UK.
- ↑ Marta Kwiatkowska, Quantitative Analysis and Verification, Oxford University Computing Laboratory, UK.
- ↑ Marta Kwiatkowska's publications indexed by the DBLP Bibliography Server at the University of Trier
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
- Year of birth missing (living people)
- Living people
- Jagiellonian University faculty
- Academics of the University of Leicester
- Academics of the University of Birmingham
- Members of the Department of Computer Science, University of Oxford
- Fellows of Trinity College, Oxford
- Polish computer scientists
- British computer scientists
- British people of Polish descent
- Formal methods people
- Women computer scientists
- British academic biography stubs
- Computer specialist stubs
