University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Marta Kwiatkowska

Personal photo - Marta Kwiatkowska
Professor Marta Zofia Kwiatkowska
Professor of Computing Systems
Marta.Kwiatkowska@cs.ox.ac.uk
+44 (0)1865 283509
+44 (0)1865 273839 (fax)

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

Recent News

Awards

VERIPACE/VERIWARE project team win best paper award at the IEEE International Conference on Healthcare Informatics (ICHI 2014) in Verona

More Details...

Selected Publications

View all

Manage publications

Synthesising Optimal Timing Delays for Timed I/O Automata

Marco Diciolla‚ Chang Hwan Peter Kim‚ Marta Kwiatkowska and Alexandru Mereacre

DCS. 2014.

Precise Parameter Synthesis for Stochastic Biochemical Systems

Milan Češka‚ Frits Dannenberg‚ Marta Kwiatkowska and Nicola Paoletti

DCS. 2014.

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions

Aleksandra Jovanovic and Marta Kwiatkowska

No. RR−14−06. DCS. 2014.

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Personal photo - Marco Diciolla
Marco Diciolla
Personal photo - Lu Feng
Lu Feng
Personal photo - Matthias Fruth
Matthias Fruth
Personal photo - Mark Kattenbelt
Mark Kattenbelt
Personal photo - Aistis Simaitis
Aistis Simaitis

SHARE THIS: