Marta Kwiatkowska

Marta Kwiatkowska
FRS MAE
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 66–67)[2]
NationalityPolish
CitizenshipBritish
Alma mater
Awards
Scientific career
Fields
Institutions
ThesisFairness for non-interleaving concurrency (1989)
Websitecs.ox.ac.uk/marta.kwiatkowska

Marta Zofia Kwiatkowska FRS MAE (born 1957) is a Polish theoretical computer scientist based in the United Kingdom.[1][2]

Kwiatkowska is Professor of Computing Systems[3] in the Department of Computer Science at the University of Oxford, England,[4] and a Fellow of Trinity College, Oxford.[5] Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation.[6][7]

  1. ^ a b Marta Kwiatkowska publications indexed by Google Scholar Edit this at Wikidata
  2. ^ a b Anon (2017). "Kwiatkowskia, Prof. Marta Zofia". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U253926. (Subscription or UK public library membership required.)
  3. ^ "Marta Kwiatkowska". Department of Computer Science. Retrieved 9 February 2021.
  4. ^ Cite error: The named reference oxford was invoked but never defined (see the help page).
  5. ^ Cite error: The named reference trinity was invoked but never defined (see the help page).
  6. ^ Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy (2008), "Verification of Real-Time Probabilistic Systems", Modeling and Verification of Real-Time Systems, London, UK: ISTE, pp. 249–288, doi:10.1002/9780470611012.ch8, ISBN 978-0-470-61101-2, retrieved 9 February 2021
  7. ^ "Department of Computer Science: Marta Kwiatkowska - Research Overview". cs.ox.ac.uk. Retrieved 9 February 2021.