English Marta Kwiatkowska Cited by user Anicox on 09 Feb 2021 Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford.