Your IP: 54.234.191.202 United States Near: United States

Lookup IP Information

Previous 1 2 3 4 5 6 7 8 Next

Below is the list of all allocated IP address in 107.180.0.0 - 107.180.255.255 network range, sorted by latency.

Marta Z. Kwiatkowska is a computer scientist based in the United Kingdom. She is Professor of Computing Systems at the Oxford University Computing Laboratory, 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 ^ a b c Kwiatkowska, University of Oxford, UK. ^ Marta Kwiatkowska, Oxford University Computing Laboratory, UK. ^ Marta Kwiatkowska, Quantitative Analysis and Verification, Oxford University Computing Laboratory, UK. ^ Marta Z. Kwiatkowska bibliography in the DBLP database. External links Marta Kwiatkowska home page This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.v · d · e This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.v · d · e Persondata Name Kwiatkowska, Marta Alternative names Short description Computer scientist Date of birth Place of birth Date of death Place of death