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 3 RAs on the DAASE project:
During my studies at UCD, I was a member of the DECAL research group.