Marta Kwiatkowska

Marta Zofia Kwiatkowska is a Polish 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, Kraków, 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] In 2017 she became a Fellow of the Association for Computing Machinery.[4]

References

  1. 1 2 3 Marta Kwiatkowska, Oxford University Computing Laboratory, UK.
  2. ↑ Marta Kwiatkowska, Quantitative Analysis and Verification, Oxford University Computing Laboratory, UK.
  3. ↑ Marta Kwiatkowska at DBLP Bibliography Server
  4. ↑ "ACM Recognizes New Fellows", Communications of the ACM, 60 (3): 23, March 2017, doi:10.1145/3039921.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.