Marta Kwiatkowska

from Wikipedia, the free encyclopedia

Marta Zofia Kwiatkowska (born February 26, 1957 ) is a Polish theoretical computer scientist living in the United Kingdom . She is a professor in the Department of Computer Science at the University of Oxford , England and a member of Trinity College, Oxford .

education

Kwiatkowska graduated summa cum laude from the Jagiellonian University in Krakow , Poland, with a Bachelor's and Master of Science degree in computer science . In 1989 she received her PhD in Computer Science from Leicester University .

Career and research

Between her master’s degree and her professorship in computer science at the University of Oxford in 2007, Kwiatkowska held the following positions:

  • Lecturer, Jagiellonian University, Cracow, Poland (1980–1988)
  • Research Fellow, University of Leicester (1984–1986)
  • Lecturer, University of Leicester (1986-1994)
  • Lecturer, University of Birmingham (1994–1998)
  • Professor of Computer Science, University of Birmingham (2001-2007)

The main focus of her research in recent years has been the modeling and verification of probabilistic systems, especially probabilistic model testing techniques . She led the development of the probabilistic model checker PRISM .

Kwiatkowska is a member of several editorial boards of scientific journals such as Information and Computation , Formal Methods in System Design, Logical Methods in Computer Science and Science of Computer Programming. Her research was supported by grants from EPSRC, ERC , EU, DARPA and Microsoft Research, including notably her two ERC projects VERIWARE and FUN2MODEL, and her EPSRC program Grant on Mobile Autonomy.

She is assistant director of the Department of Computer Science at the University of Oxford, where she was the first female professor. Kwiatkowska heads the research area of ​​automatic verification there.

Current projects

  • FUN2MODEL (2019-2024), a project funded by the European Research Council (ERC)
  • Mobile Autonomy (2015-2020), a project funded by the Engineering and Physical Sciences Research Council (EPSRC)
  • AFFECTech (2017–2020), funded by the EU's Horizon 2020 .

Notable contributions

  • Head of the development of PRISM, which has been downloaded more than 60,000 times and received the HVC Award in 2016.
  • Extension and application of probabilistic verification for the automatic diagnosis of DNA calculation methods and for the development of a prediction model of DNA origami , published by Nature .

Awards

Web links

Individual evidence

  1. ↑ Kwiatkowska, Prof. Marta Zofia, (born February 26, 1957), Professor of Computing Systems, University of Oxford, since 2007; Fellow, Trinity College, Oxford, since 2007. Accessed April 20, 2020 .
  2. ^ Marta Kwiatkowska - Google Scholar Citations. Retrieved April 20, 2020 .
  3. ↑ Marta Kwiatkowska. Retrieved April 20, 2020 (UK English).
  4. ↑ Oneltd: Marta Kwiatkowska. Retrieved April 20, 2020 (English).
  5. ^ University of Leicester research repository. Retrieved April 20, 2020 .
  6. ^ A b Prof. Marta Zofia Kwiatkowska - AcademiaNet. Retrieved April 20, 2020 .
  7. ↑ PRISM - People. Retrieved April 20, 2020 .
  8. ^ Department of Computer Science: Marta Kwiatkowska - Biography. Retrieved April 20, 2020 .
  9. ↑ PRISM - download. Retrieved April 20, 2020 .
  10. ↑ HVC 2016 - Haifa Verification Conference 2016. September 4, 2011, accessed April 20, 2020 (American English).
  11. ↑ Dunn Ke, Dannenberg F, Ouldridge Te, Kwiatkowska M, Turberfield Aj: Guiding the Folding Pathway of DNA Origami. September 3, 2015, accessed April 20, 2020 .
  12. ^ Marta Kwiatkowska | Royal Society. Retrieved April 20, 2020 (UK English).
  13. ^ Academy of Europe: Kwiatkowska Marta. Retrieved April 20, 2020 .
personal data
SURNAME Kwiatkowska, Marta
ALTERNATIVE NAMES Kwiatkowska, Marta Zofia (full name)
BRIEF DESCRIPTION Polish theoretical computer scientist
DATE OF BIRTH February 26, 1957