Marta Kwiatkowska
Encyclopedia
Marta Z. Kwiatkowska is a computer scientist
based in the United Kingdom
. She is Professor
of Computing
System
s at the Oxford University Computing Laboratory
, University of Oxford
, England
.
Marta Kwiatkowska held academic posts at the Jagiellonian University
in Cracow, Poland
, and the University of Leicester
in England. She was then Professor of Computer Science in the School of Computer Science at the University of Birmingham.
Since 2007, she has been a Fellow of Trinity College, Oxford
.
Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking
. She has been involved in the development of the PRISM model checker
. Kwiatkowska has published widely in academic journals and conferences.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
based in the United Kingdom
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
. She is Professor
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of Computing
Computing
Computing is usually defined as the activity of using and improving computer hardware and software. It is the computer-specific part of information technology...
System
System
System is a set of interacting or interdependent components forming an integrated whole....
s at the Oxford University Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
, University of Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
, England
England
England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...
.
Marta Kwiatkowska held academic posts at the Jagiellonian University
Jagiellonian University
The Jagiellonian University was established in 1364 by Casimir III the Great in Kazimierz . It is the oldest university in Poland, the second oldest university in Central Europe and one of the oldest universities in the world....
in Cracow, Poland
Poland
Poland , officially the Republic of Poland , is a country in Central Europe bordered by Germany to the west; the Czech Republic and Slovakia to the south; Ukraine, Belarus and Lithuania to the east; and the Baltic Sea and Kaliningrad Oblast, a Russian exclave, to the north...
, and the University of Leicester
University of Leicester
The University of Leicester is a research-led university based in Leicester, England. The main campus is a mile south of the city centre, adjacent to Victoria Park and Wyggeston and Queen Elizabeth I College....
in England. She was then Professor of Computer Science in the School of Computer Science at the University of Birmingham.
Since 2007, she has been a Fellow of Trinity College, Oxford
Trinity College, Oxford
The College of the Holy and Undivided Trinity in the University of Oxford, of the foundation of Sir Thomas Pope , or Trinity College for short, is one of the constituent colleges of the University of Oxford in England. It stands on Broad Street, next door to Balliol College and Blackwells bookshop,...
.
Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
. She has been involved in the development of the PRISM model checker
PRISM (model checker)
PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour . One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security...
. Kwiatkowska has published widely in academic journals and conferences.