Marta Kwiatkowska

Marta Zofia Kwiatkowska FRS MAE is a Polish theoretical computer scientist based in the United Kingdom.[2][1] She is professor of computing in the Department of Computer Science at the University of Oxford, England,[3] and a Fellow of Trinity College, Oxford.[4]

Marta Kwiatkowska

FRS MAE
Born
Marta Zofia Kwiatkowska

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

Education

Kwiatkowska received her Bachelor of Science and Master of Science degrees in Computer Science with distinction summa cum laude from Jagiellonian University in Krakow, Poland. She obtained her PhD in Computer Science from the University of Leicester in 1989.[5][6]

Career and research

Between obtaining her BSc/MSc and her appointment as professor of Computing Systems at the University of Oxford in 2007, Kwiatkowska served in the following posts.[6]

The main focus of her research over the past several years has been on modelling and verification of probabilistic systems, specifically probabilistic model checking techniques. She led the development of the first and internationally leading probabilistic symbolic model checker PRISM,[7] considered a landmark for research in the area.

Kwiatkowska serves on editorial boards of several journals, including Information and Computation, Formal Methods in System Design, Logical Methods in Computer Science, Science of Computer Programming and the Royal Society's Open science. Her research has been supported by grant funding from EPSRC, ERC, EU, DARPA, and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE and the EPSRC Programme Grant on Mobile Autonomy.[8]

Kwiatkowska currently serves as Deputy Head of Department (with responsibility for research) at the Department of Computer Science at Oxford, and was the department's first female professor (joined 2007). She is the head of the Automated Verification research theme.

Projects
  • Mobile Autonomy (2015–2020), an ERC-funded programme grant.
  • AFFECTech (2017–2020), funded by the EU's Horizon2020 research and innovation programme.

Selected previous research projects
  • VERIWARE: From Software Verification to ‘Everyware’ Verification.
  • VERIPACE: Design, Analysis and Synthesis Tools for Cardiac Pacemaker Software.
  • Predictable Software Systems.
  • CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems.
  • Automated Quantitative Software Verification with PRISM.
  • UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures.
  • Shaping an International Grand Challenge Community for Ubiquitous Computing.
  • Predictive modelling of signalling pathways via probabilistic model checking with PRISM.
  • Automated Verification of Probabilistic Protocols with PRISM.
  • Probabilistic Model Checking of Mobile Ad Hoc Network Protocols.
  • Verification of Quality of Service Properties in Timed Systems.
  • Automatic Verification of Randomized Distributed Algorithms.

Notable contributions
  • Introduced probabilistic/quantitative model checking on the international scene, and spearheaded its transition from theory to practice.
  • Led the development of PRISM, the world-leading probabilistic model checker considered a landmark for research in the area, which has been downloaded over 60,000[9] times and won the HVC 2016 Award.[10]
  • Formulated and implemented novel frameworks for: semantic models for probabilistic systems; verification for probabilistic timed automata and probabilistic software; multi-objective model checking for probabilistic systems; software verification for sensor networks; quantitative multi-objective verification and controller synthesis for stochastic games; quantitative runtime and incremental verification; and parameter synthesis for probabilistic models.
  • Developed extensive compositional assume-guarantee reasoning frameworks for component based systems modelled as interface automata, as well quantitative verification and strategy synthesis for probabilistic systems.
  • Applied probabilistic verification and synthesis to a broad range of real-world systems, detecting flaws in some of them, including the Bluetooth protocol, reliability of nanotechnology designs and smartgrid demand management protocol.
  • Developed an extensive model-based framework for closed-loop verification of cardiac pacemaker models against personalised heart models. The framework supports quantitative verification, personalisation and optimal timing delay synthesis for pacemaker software.
  • For the first time, applied probabilistic model checking in systems biology to predict quantitative properties of the FGF signalling pathway that were later confirmed experimentally.
  • Extended and applied probabilistic verification to automatically find and diagnose errors in DNA computing designs, to study computational potential and analyse reliability of DNA walker circuits, and to develop a predictive model of DNA origami folding that serves as a 'molecular breadboard' for DNA circuits in an article published in Nature.[11]

Selected talks and lectures

Committee memberships

Awards and honours
  • Elected a Fellow of the Royal Society (FRS) in 2019.
  • Milner Award 2018.
  • Fellow of European Association for Theoretical Computer Science (EATCS), elected 2017.
  • Fellow of the Association for Computing Machinery (ACM), elected 2016 for "fundamental contributions to the theory and practice of probabilistic verification and its applications.”
  • Haifa Verification Conference Award 2016, joint with Dave Parker and Gethin Norman, "for the invention, development and maintenance of the PRISM probabilistic model checker."
  • honorary Doctorate, KTH Royal Institute of Technology, 2014, awarded for being "the driving force for the development of probabilistic and quantitative methods within computer science.”
  • Elected to give the 2012 Milner Lecture at the University of Edinburgh, awarded for "excellent and original theoretical work which has a perceived significance for practical computing.”
  • Member of Academia Europaea (MAE), elected 2011[12]
  • Fellow of British Computer Society (BCS), elected 2008.

Personal life

Kwiatkowska lives in Oxford with her husband, with whom she has a daughter.

References
  1. Anon (2017). "Kwiatkowskia, Prof. Marta Zofia". Who's Who (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U253926. (subscription or UK public library membership required) (subscription required)
  2. Marta Kwiatkowska publications indexed by Google Scholar
  3. "Department of Computer Science: Marta Kwiatkowska". Retrieved 28 May 2017.
  4. "Trinity College – Marta Kwiatkowska". Retrieved 4 December 2017.
  5. 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.
  6. "Prof. Marta Kwiatkowska – AcademiaNet". Retrieved 4 December 2017.
  7. "PRISM – People". Retrieved 4 December 2017.
  8. "Department of Computer Science: Marta Kwiatkowska – biography". Retrieved 6 December 2017.
  9. "PRISM – Download". Retrieved 6 December 2017.
  10. "HVC 2016 – Haifa Verification Conference 2016". 4 September 2011. Retrieved 6 December 2017.
  11. Bath, Jonathan; Turberfield, Andrew J.; Kwiatkowska, Marta; Ouldridge, Thomas E.; Dannenberg, Frits; Dunn, Katherine E. (September 2015). "Nature Journal – Guiding the folding pathway of DNA origami". Nature. 525 (7567): 82–86. doi:10.1038/nature14860. hdl:10044/1/29005. PMID 26287459.
  12. "Academy of Europe: Kwiatkowska Marta". www.ae-info.org. Retrieved 20 April 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.