Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.