Marta Kwiatkowska

Professor Marta Zofia Kwiatkowska

Professor of Computing Systems

Fellow, Trinity College

E: Marta.Kwiatkowska@cs.ox.ac.uk

E: PA - Anita.Hancox@cs.ox.ac.uk

T: +44 (0)1865 283509

Themes:

Automated Verification

Completed Projects:

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.

Current Vacancy

Senior Research Associate on FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

Full Time and Fixed Term until 30^th September 2024

Grade 8: Salary £42,149 – £50,296 p.a. (note: Grade 7: £33,309 - £40,927 p.a.)

We are looking for a motivated Senior Research Associate to play a key role in the ERC funded FUN2MODEL project.

You will be a senior member of the FUN2MODEL collaborative project team, being responsible for carrying out research with an emphasis on probabilistic reasoning and inference, including cognitive aspects and automated decision making. This may involve neuro-symbolic approaches; probabilistic verification/synthesis; causal reasoning; planning and game-theoretic methods; robustness and certification. Suitably qualified candidates will have an opportunity to lead software implementation, liaising with Dave Parker to coordinate PRISM codebase extensions.

Please contact me (marta.kwiatkowska@cs.ox.ac.uk) if you would like to learn more about the role and see here to apply.