Marta Kwiatkowska

From Wikipedia, the free encyclopedia

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 the Jagiellonian University in Cracow, Poland, and the University of Leicester in England.^[1] She was then Professor of Computer Science in the School of Computer Science at the University of Birmingham.^[2] 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.^[3]^[4]

References

↑ 1.0 1.1 1.2 Marta Kwiatkowska, University of Oxford, UK.
↑ Marta Kwiatkowska, Oxford University Computing Laboratory, UK.
↑ Marta Kwiatkowska, Quantitative Analysis and Verification, Oxford University Computing Laboratory, UK.
↑ List of publications from the DBLP Bibliography Server

External links

Persondata
Name	Kwiatkowska, Marta Zofia
Alternative names
Short description	Computer scientist
Date of birth
Place of birth	Poland
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.