Marta Kwiatkowska

Last updated

Marta Kwiatkowska

FRS MAE
Marta Kwiatkowska.png
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 66–67) [1]
NationalityPolish
CitizenshipBritish
Alma mater
Awards
Scientific career
Fields
Institutions
Thesis Fairness for non-interleaving concurrency  (1989)
Website cs.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]

Contents

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]

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 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 machine learning and 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

Selected talks and lectures

Awards and honours

Kwiatkowska was awarded an Honorary Doctorate at the KTH 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 ]

Related Research Articles

<span class="mw-page-title-main">Model checking</span> Computer science field

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. This is typically associated with hardware or software systems, where the specification contains liveness requirements as well as safety requirements.

<span class="mw-page-title-main">Judea Pearl</span> Computer scientist (born 1936)

Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited for developing a theory of causal and counterfactual inference based on structural models. In 2011, the Association for Computing Machinery (ACM) awarded Pearl with the Turing Award, the highest distinction in computer science, "for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning". He is the author of several books, including the technical Causality: Models, Reasoning and Inference, and The Book of Why, a book on causality aimed at the general public.

<span class="mw-page-title-main">Samson Abramsky</span> British computer scientist

Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.

<span class="mw-page-title-main">BCS Lovelace Medal</span> Award

The Lovelace Medal was established by the British Computer Society in 1998, and is presented to individuals who have made outstanding contributions to the understanding or advancement of computing. It is the top award in computing in the UK. Awardees deliver the Lovelace Lecture.

<span class="mw-page-title-main">Department of Computer Science, University of Oxford</span> Department of the University of Oxford

The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world for Computer Science.

<span class="mw-page-title-main">BCS-FACS</span> Specialist Group of the BCS

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

<span class="mw-page-title-main">Simon Peyton Jones</span> British computer scientist (born 1958)

Simon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.

<span class="mw-page-title-main">Zoubin Ghahramani</span> British-Iranian machine learning researcher

Zoubin Ghahramani FRS is a British-Iranian researcher and Professor of Information Engineering at the University of Cambridge. He holds joint appointments at University College London and the Alan Turing Institute. and has been a Fellow of St John's College, Cambridge since 2009. He was Associate Research Professor at Carnegie Mellon University School of Computer Science from 2003–2012. He was also the Chief Scientist of Uber from 2016 until 2020. He joined Google Brain in 2020 as senior research director. He is also Deputy Director of the Leverhulme Centre for the Future of Intelligence.

<span class="mw-page-title-main">Ian Horrocks</span> British academic (b.1958)

Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.

<span class="mw-page-title-main">Christopher Bishop</span> British computer scientist (born 1959)

Christopher Michael Bishop is a British computer scientist. He is a Microsoft Technical Fellow and Director of Microsoft Research AI4Science. He is also Honorary Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge. Chris was a founding member of the UK AI Council, and in 2019 he was appointed to the Prime Minister’s Council for Science and Technology.

<span class="mw-page-title-main">Andrew Blake (scientist)</span> British scientist

Andrew Blake FREng, FRS, is a British scientist, former laboratory director of Microsoft Research Cambridge and Microsoft Distinguished Scientist, former director of the Alan Turing Institute, Chair of the Samsung AI Centre in Cambridge, honorary professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.

Amanda Elizabeth Chessell is a computer scientist and a Distinguished Engineer at IBM. She has been awarded the title of IBM Master Inventor. She is also a Member of the IBM Academy of Technology.

<span class="mw-page-title-main">Jane Hillston</span>

Jane Elizabeth Hillston is a British computer scientist who is professor of quantitative modelling and former head of school in the School of Informatics, University of Edinburgh, Scotland.

PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour. One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security protocols such as Crowds and Onion routing. Stochastic behaviour also arises in many other computer systems, for example due to equipment failures or unpredictable communication delays. Yet another class of systems amenable to this kind of analysis are biochemical reaction networks.

Probabilistic programming (PP) is a programming paradigm in which probabilistic models are specified and inference for these models is performed automatically. It represents an attempt to unify probabilistic modeling and traditional general purpose programming in order to make the former easier and more widely applicable. It can be used to create systems that help make decisions in the face of uncertainty.

The UK Large-Scale Complex IT Systems (LSCITS) Initiative is a research and graduate education programme focusing on the problems of developing large-scale, complex IT systems. The initiative is funded by the EPSRC, with more than ten million pounds of funding awarded between 2006 and 2013.

The Royal Society Milner Award, formally the Royal Society Milner Award and Lecture, is awarded annually by the Royal Society, a London-based learned society, for "outstanding achievement in computer science by a European researcher". The award is supported by Microsoft Research and is named in honour of Robin Milner, a prolific pioneer in computer science who, among other contributions, designed LCF and the programming language ML.

<span class="mw-page-title-main">Eric Xing</span>

Eric Poe Xing is an American computer scientist whose research spans machine learning, computational biology, and statistical methodology. Xing is founding President of the world’s first artificial intelligence university, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI).

Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University, Stony Brook, New York.

Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London. His research focuses on the verification of autonomous systems, specifically on providing formal safety guarantees for both Multi-agent systems as well as Machine Learning-enabled systems.

References

  1. 1 2 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.)
  2. 1 2 Marta Kwiatkowska publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  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. 1 2 3 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.
  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. Lock-green.svg
  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. ↑ 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. S2CID   2386035.
  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, vol. 10426, pp. 3–29, arXiv: 1610.06940 , doi:10.1007/978-3-319-63387-9_1, ISBN   978-3-319-63386-2, S2CID   11626373 , retrieved 9 February 2021
  14. ↑ Duflot, Marie; Kwiatkowska, Marta; Norman, Gethin; Parker, David (5 July 2006). "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. 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. ↑ 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. arXiv: 1907.00098 . doi:10.1109/cvpr42600.2020.00039. ISBN   978-1-7281-7168-5. 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. 1 2 "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.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.