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.
I am always looking for strong PhD students. Please contact me if you think our research interests mesh.
During my studies at UCD, I was a member of the DECAL research group.