Professor, University of Oxford
Marta Kwiatkowska is Professor of Computing Systems, University of Oxford.
