Headshot of Radu Grigore
Headshot of Radu Grigore


Radu Grigore

Software Engineer

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.


Program verification, static and dynamic program analysis, type systems