Skip to main content

Marta Kwiatkowska

Personal photo - Marta Kwiatkowska

Professor Marta Zofia Kwiatkowska

Professor of Computing Systems

E: Marta.Kwiatkowska@cs.ox.ac.uk
E: PA - Anita.Hancox@cs.ox.ac.uk
T: +44 (0)1865 283509

Interests

My research is concerned with modelling and analysis methods for complex systems, such as those arising in computer networks, electronic devices and biological organisms. The analysis methods that I investigate include simulation and formal verification, with particular emphasis on quantitative verification of probabilistic systems. My work spans the whole spectrum, from theory, through algorithms to software implementation and applications. [more details...]

Biography

Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she was Professor in the School of Computer Science at the University of Birmingham, Lecturer at the University of Leicester and Assistant Professor at the Jagiellonian University in Cracow, Poland. She holds a BSc/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. [more details...]

Doctoral study in computer science

I welcome applications for doctoral study and postdoctoral visitors in areas relevant to my research interests. Possible research topics are described here, but I am happy also to consider students' own proposals. If you are interested in a D.Phil. position (this is what PhD is called at Oxford) please email me. [more details...]

Publications

See here for an online list of publications.

Links

Upcoming Event

Marta Kwiatkowska will deliver the BCS Lovelace Lecture 2020/2021. The Lovelace Lecture is presented by the recipient of the Lovelace Medal. Established in 1998, the Lovelace Medal is awarded for outstanding contribution to the understanding and advancement of computing. Marta was awarded the 2019 BCS Lovelace Medal for her research in probabilistic and quantitative verification.

The title of her lecture is 'Probabilistic model checking for the data-rich world'. The lecture will take place from 4pm on 5th May 2021 and will be held online. See here for more details and to register.

Activities

Projects

Completed Projects

Current Students

Research

Emanuele La Malfa
Research Assistant, Doctoral Student
Andrea Patane
Doctoral Student, Marie Curie ITN Fellowship, Research Associate
Gabriel Santos
Research Assistant
Benjie Wang
Research Assistant, Doctoral Student
Matthew Wicker
Research Assistant, Doctoral Student
Rui Yan
Senior Research Associate

Past Students

Marco Diciolla
Lu Feng
Matthias Fruth
Karolis Kusas
Aistis Simaitis
Mateusz Ujma
Max Whitby
Clemens Wiltsche

Past Researchers

Mark Kattenbelt
Luca Laurenti
Wenjie Ruan
(Lecturer at Lancaster University)
Min Wu
Research Associate
Agnieszka Zbrzezny