Meta Research

I am a Software Engineer working on static analysis. Before Meta, I was a Senior Lecturer at University of Kent, a Researcher at at University of Oxford, a Researcher at Queen Mary University of London, a PhD student at University College Dublin, and a Software Engineer at Nobug Consulting. I received a distinguished paper award at PLDI 2014 for work on automating abstraction refinement.