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 hiring 4 interns summer 2018 to work with me on bimodal program analysis. The ad is here.
During my studies at UCD, I was a member of the DECAL research group.