Marta Kwiatkowska
Professor Marta Zofia Kwiatkowska
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
Selected Publications
-
Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives
Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche
Department of Computer Science. Oxford‚ UK. 2016.
Details about Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | BibTeX data for Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | Download (pdf) of Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives
-
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
Department of Computer Science. Oxford‚ UK. 2016.
Details about Building Power Consumption Models from Executable Timed I/O Automata Specifications | BibTeX data for Building Power Consumption Models from Executable Timed I/O Automata Specifications | Download (pdf) of Building Power Consumption Models from Executable Timed I/O Automata Specifications
-
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè
No. CS−RR−15−09. Department of Computer Science. Oxford‚ UK. September, 2015.
Details about Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | BibTeX data for Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | Download (pdf) of Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
Activities
- Probabilistic Verification for Systems Biology
- Probabilistic Model Checking
- Software Model Checking
- Quantitative Analysis and Verification
- PRISM
Projects
Completed Projects
- Automated quantitative software verification with PRISM
- UbiVal
- Predictable Software Systems
- Ubiquitous Computing
- CancerGrid
- Integrative Biology
- CONNECT-IP
- VERIWARE
- PRISMATIC
- Autonomous Ubiquitous Sensing
- VERIPACE
