All Articles By

Marta Kwiatkowska

Marta is professor of computing systems at the University of Oxford