Marta Kwiatkowska

Source: Wikipedia, the free encyclopedia.

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

automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation.[6][7]

Education

Kwiatkowska received her

Computer Science from the University of Leicester in 1989.[8][9]

Career and research

After obtaining her

Computer Science at University of Birmingham (1994–2007). Joining the University of Oxford in 2007, Kwiatkowska was the first female professor in the Department of Computer Science and now heads the Automated Verification research theme.[10][11]

Kwiatkowska's research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices.[12][13][14] Kwiatkowska led development of the PRISM probabilistic model checker;[6][15] PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021).[16][17]

Instrumental in the development of probabilistic and quantitative methods in verification on the international scene, Kwiatkowska’s recent work incorporates synthesis from quantitative specifications with a focus on safety and robustness for

AI.[6][18] A member of the Global Partnership on Artificial Intelligence (GPAI) 'Responsible AI Working Group', and the Royal Society's 'Digital Technology and the Planet Working Group', Kwiatkowska advocates responsible adoption of trustworthy AI.[19][20]

As a senior member of OxWoCS,[21] contributor to the Perspektywy Women in Tech Summit and adviser to the Suffrage Science Award (2016),[22] Kwiatkowska encourages women to pursue careers in science.

Kwiatkowska serves on the editorial boards of Information and Computation,[23] Formal Methods in System Design,[24] Logical Methods in Computer Science,[25] Science of Computer Programming[26] and the Royal Society's Open Science.[27]

Projects

  • FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019–2024), a European Research Council (ERC) Advanced Grant.
  • Mobile Autonomy: Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council (EPSRC) Programme Grant (co-I).

Selected talks and lectures

Awards and honours

  • Fellow of the European Laboratory for Learning and Intelligent Systems (ELLIS Society), 2020.[28]
  • Awarded the BCS Ada Lovelace Medal for 'her research in probabilistic and quantitative verification. Since 2001 she has led the development of the highly influential probabilistic model checker PRISM', 2019.[29]
  • Fellow of the Royal Society, (FRS), 2019.[30][31]
  • Became the first female winner of the Royal Society Milner Award in recognition of ‘her contribution to the theoretical and practical development of stochastic and quantitative model checking’, 2018.[30]
  • Jointly awarded the HVC 2016 Award for her ‘contributions to probabilistic model checking and, more generally, to formal verification’, 2016.[32]

Kwiatkowska was awarded an

Royal Institute of Technology in 2014, and is Fellow of ACM, Fellow of EATCS, Fellow of the BCS, a member of Academia Europaea, Fellow of Polish Society of Arts & Sciences Abroad,[33][34][35][36] and member of the American Academy of Arts and Sciences.[37]

Personal life

Kwiatkowska lives in Oxford with her husband, with whom she has a daughter.[citation needed]

References

  1. ^ a b Marta Kwiatkowska publications indexed by Google Scholar Edit this at Wikidata
  2. ^
    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. ^ "Department of Computer Science: Marta Kwiatkowska". Retrieved 28 May 2017.
  5. ^ "Trinity College – Marta Kwiatkowska". Retrieved 4 December 2017.
  6. ^
    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.
  8. EThOS uk.bl.ethos.521489. Free access icon
  9. ^ "Prof. Marta Kwiatkowska – AcademiaNet". Retrieved 4 December 2017.
  10. ^ "About the Department of Computer Science". www.cs.ox.ac.uk. Retrieved 18 January 2024.
  11. ^ "Department of Computer Science - research theme: Automated Verification". www.cs.ox.ac.uk. Retrieved 9 February 2021.
  12. S2CID 2386035
    .
  13. S2CID 11626373
    , retrieved 9 February 2021
  14. S2CID 8454983
    .
  15. ^ "PRISM - Probabilistic Symbolic Model Checker". www.prismmodelchecker.org. Retrieved 9 February 2021.
  16. ^ "prismmodelchecker.org". prismmodelchecker.org. Retrieved 9 February 2021.
  17. ^ "External PRISM Bibliography". PRISM Model Checker. Retrieved 9 February 2021.
  18. S2CID 195767577
    .
  19. ^ "Responsible AI - GPAI". gpai.ai. Retrieved 11 February 2021.
  20. ^ "Digital technology and the planet | Royal Society". royalsociety.org. Retrieved 11 February 2021.
  21. ^ "OxWoCS Committee". www.cs.ox.ac.uk. Retrieved 15 February 2021.
  22. ^ MRC London Institute of Medical Sciences (7 October 2016). "Suffrage Science Maths and Computing 2016". Issuu. Retrieved 15 February 2021.
  23. ^ Information and Computation.
  24. ^ "Formal Methods in System Design". Springer. Retrieved 11 February 2021.
  25. ^ "Logical Methods in Computer Science - Editorial Board". lmcs.episciences.org. Retrieved 11 February 2021.
  26. ^ Science of Computer Programming.
  27. ^ "Editorial board | Royal Society Open Science". royalsocietypublishing.org. Retrieved 11 February 2021.
  28. ^ Williams, Jonathan. "Fellows". European Lab for Learning & Intelligent Systems. Retrieved 9 February 2021.
  29. ^ "BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska". bcs.org. Retrieved 9 February 2021.
  30. ^ a b "Marta Kwiatkowska | Royal Society". royalsociety.org. Retrieved 9 February 2021.
  31. ^ "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society | Royal Society". royalsociety.org. Retrieved 9 February 2021.
  32. ^ "HVC 2016 - Haifa Verification Conference 2016". research.ibm.com. 4 September 2011. Retrieved 9 February 2021.
  33. ^ "Honorary doctors at KTH". KTH. Retrieved 11 February 2021.
  34. ^ "About ACM Fellows". awards.acm.org. Retrieved 9 February 2021.
  35. ^ "EATCS Fellows". European Association for Theoretical Computer Science. Retrieved 9 February 2021.
  36. ^ "Academy of Europe: Kwiatkowska Marta". ae-info.org. Retrieved 11 February 2021.
  37. ^ "New members". American Academy of Arts and Sciences. 2023. Retrieved 21 April 2023.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Marta_Kwiatkowska&oldid=1211551068"