At UCL, I have been the PI of DAASE, since February 2017. Along with David Clark, I established the theory tendency research group. I am also a member of the System Software Engineering Group and the Centre for Research on Evolution, Search and Testing (CREST), which builds on and integrates program analysis, information theory, and optimisation.