Dr. Marta Kwiatkowska

Biography

Marta Kwiatkowska is a Professor and Computing Systems Fellow at Trinity College, University of Oxford. She has previously served as a Professor at the School of Computer Science at the University of Birmingham, a Lecturer at the University of Leicester, and an Assistant Professor at Jagiellonian University in Cracow, Poland. With academic qualifications including a BSc and MSc in Computer Science from Jagiellonian University, an MA from Oxford, and a PhD from the University of Leicester, Kwiatkowska brings a wealth of knowledge in the field. Her research interests focus on automated verification, modeling analysis methods for complex systems, particularly in computer networks, electronic devices, and biological organisms. Her work encompasses theoretical aspects, algorithms, software implementation, and applications, especially in the context of probabilistic systems. She is keen to consider proposals from students for their own doctoral studies and postdoctoral visitors at the University of Oxford.

Research Interests

Experience