Biography:Marta Kwiatkowska

From HandWiki
Marta Kwiatkowska

FRS MAE
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 68–69)[1]
CitizenshipBritish and Polish
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.[2][1]

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] She is also Professor (part-time) at the Institute of Computer Science, Polish Academy of Sciences, Warsaw. 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]. More recently, she has broadened her activities to studying safety and robustness of deep learning.

Education

Kwiatkowska received her Bachelor of Science and Master of Science degrees in Computer Science with distinction summa cum laude from Jagiellonian University in Kraków, Poland. She obtained her PhD in Computer Science from the University of Leicester in 1989.[8][9]

Career and research

After obtaining her PhD, Kwiatkowska was assistant professor at Jagiellonian University, (1980–1988); research scholar and lecturer in Computer Science at University of Leicester (1984–1994); and lecturer in Computer Science, reader in Semantics for Concurrency, and professor of 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 100,000 times and there are over 700 papers by external research teams using PRISM (as at February 2026).[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 machine learning and AI.[6][18] As a past 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[Usurped!] (2016),[22] Kwiatkowska encourages women to pursue careers in science.

Kwiatkowska has served on the editorial boards of ACM Books, 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]

Selected projects

  • FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019–2024), a European Research Council (ERC) Advanced Grant.
  • Mathematical foundations of intelligence: an 'Erlangen Programme' for AI (2024-29), an EPSRC grant. Co-investigator.
  • ELSA: European Lighthouse on Secure and Safe AI (2022-26). Associate partner (European network).
  • FAIR: Framework for responsible adoption of Artificial Intelligence in the financial services industry (2021-2026). EPSRC Partnership. Co-investigator.
  • Mobile Autonomy: Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council (EPSRC) Programme Grant (co-I).
  • VERIWARE: From software verification to everyware verification (2010-2015), a European Research Council (ERC) Advanced Grant.

Selected talks and lectures

Awards and honours

References

  1. ↑ 1.0 1.1 Anon (2017). ",". Who's Who (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U253926. https://www.ukwhoswho.com/view/article/oupww/whoswho/U253926.  (subscription or UK public library membership required)
  2. ↑ 2.0 2.1 {{Google Scholar id}} template missing ID and not present in Wikidata.
  3. ↑ "Marta Kwiatkowska" (in en-gb). https://www.cs.ox.ac.uk/people/marta.kwiatkowska/. 
  4. ↑ "Department of Computer Science: Marta Kwiatkowska". http://www.cs.ox.ac.uk/people/marta.kwiatkowska/. 
  5. ↑ "Trinity College – Marta Kwiatkowska". Trinity College. http://www.trinity.ox.ac.uk/people/profiles/marta-kwiatkowska/. 
  6. ↑ 6.0 6.1 6.2 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, http://dx.doi.org/10.1002/9780470611012.ch8, retrieved 2021-02-09 
  7. ↑ "Department of Computer Science: Marta Kwiatkowska - Research Overview". http://www.cs.ox.ac.uk/people/marta.kwiatkowska/research.html. 
  8. ↑ Kwiatkowska, Marta Zofia (1989). Fairness for non-interleaving concurrency. le.ac.uk (PhD thesis). University of Leicester. hdl:2381/8809. EThOS uk.bl.ethos.521489. Free to read
  9. ↑ "Prof. Marta Kwiatkowska – AcademiaNet". http://www.academia-net.org/profil/prof-marta-zofia-kwiatkowska/1135284. 
  10. ↑ "About the Department of Computer Science". https://www.cs.ox.ac.uk/aboutus/women-cs-oxford/cswomenhistory.html. 
  11. ↑ "Department of Computer Science – research theme: Automated Verification". http://www.cs.ox.ac.uk/research/verification/. 
  12. ↑ Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana (2008). "Probabilistic model checking of complex biological pathways". Theoretical Computer Science 391 (3): 239–257. doi:10.1016/j.tcs.2007.11.013. ISSN 0304-3975. 
  13. ↑ Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min (2017), "Safety Verification of Deep Neural Networks", Computer Aided Verification, Lecture Notes in Computer Science (Cham: Springer International Publishing) 10426: pp. 3–29, doi:10.1007/978-3-319-63387-9_1, ISBN 978-3-319-63386-2, http://dx.doi.org/10.1007/978-3-319-63387-9_1, retrieved 2021-02-09 
  14. ↑ Duflot, Marie; Kwiatkowska, Marta; Norman, Gethin; Parker, David (2006-07-05). "A formal analysis of bluetooth device discovery". International Journal on Software Tools for Technology Transfer 8 (6): 621–632. doi:10.1007/s10009-006-0014-x. ISSN 1433-2779. http://dx.doi.org/10.1007/s10009-006-0014-x. 
  15. ↑ "PRISM - Probabilistic Symbolic Model Checker". https://www.prismmodelchecker.org/. 
  16. ↑ "prismmodelchecker.org". http://www.prismmodelchecker.org/download.php. 
  17. ↑ "External PRISM Bibliography". http://www.prismmodelchecker.org/bib-ext.php?sort=date. 
  18. ↑ Wu, Min; Kwiatkowska, Marta (June 2020). "Robustness Guarantees for Deep Neural Networks on Videos". 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE. pp. 308–317. doi:10.1109/cvpr42600.2020.00039. ISBN 978-1-7281-7168-5. http://dx.doi.org/10.1109/cvpr42600.2020.00039. 
  19. ↑ "Responsible AI – GPAI". https://gpai.ai/projects/responsible-ai/. 
  20. ↑ "Digital technology and the planet | Royal Society". https://royalsociety.org/topics-policy/projects/digital-technology-and-the-planet/. 
  21. ↑ "OxWoCS Committee". https://www.cs.ox.ac.uk/societies/women/committee.html. 
  22. ↑ MRC London Institute of Medical Sciences (7 October 2016). "Suffrage Science Maths and Computing 2016". https://issuu.com/mrccsc/docs/suffrage_science_maths_and_computin. 
  23. ↑ Information and Computation. https://www.journals.elsevier.com/information-and-computation. 
  24. ↑ "Formal Methods in System Design". https://www.springer.com/journal/10703. 
  25. ↑ "Logical Methods in Computer Science – Editorial Board". https://lmcs.episciences.org/page/editorial-board. 
  26. ↑ Science of Computer Programming. https://www.journals.elsevier.com/science-of-computer-programming. 
  27. ↑ "Editorial board | Royal Society Open Science". https://royalsocietypublishing.org/rsos/editorial-board. 
  28. ↑ "Marta Kwiatkowska and Susan Murphy win Van Wijngaarden Awards 2021". Centrum Wiskunde & Informatica (CWI). 20 September 2021. https://www.cwi.nl/en/news/marta-kwiatkowska-and-susan-murphy-win-van-wijngaarden-awards-2021-for-preventing-software-faults-and-for-improving-decision-making-in-health/. 
  29. ↑ Williams, Jonathan. "Fellows" (in en). http://ellis.eu/fellows. 
  30. ↑ "BCS Lovelace Lecture 2020/21 – Prof Marta Kwiatkowska". https://www.bcs.org/events/2021/may/bcs-lovelace-lecture-202021-prof-marta-kwiatkowska/. 
  31. ↑ 31.0 31.1 "Marta Kwiatkowska | Royal Society" (in en-gb). https://royalsociety.org/people/marta-kwiatkowska-14107/. 
  32. ↑ "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society | Royal Society" (in en-gb). https://royalsociety.org/news/2019/04/royal-society-announces-2019-fellows/. 
  33. ↑ "HVC 2016 – Haifa Verification Conference 2016" (in en-US). 2011-09-04. https://www.research.ibm.com/haifa/conferences/hvc2016/index.shtml. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Marta_Kwiatkowska&oldid=4295324"