Professor Marta Zofia Kwiatkowska
Professor of Computing Systems
Fellow, Trinity College
+44 (0)1865 283509
+44 (0)1865 273839 (fax)
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...]
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...]
See here for an online list of publications.
We are looking for a top student in computer science or mathematics for a project on describing and analysing natural and synthetic molecular systems. The project focusses on "computation by chemical reactions", including DNA computing, combining theoretical foundations with algorithmic verification aspects.
On Stochastic Games with Multiple Objectives
Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche
No. RR−13−06. DCS. 2013.
Efficient Probabilistic Parameter Synthesis for Adaptive Systems
Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu
No. RR−13−04. DCS. 2013.
An Algebraic Theory of Interface Automata
Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska
No. RR−13−02. DCS. 2013.