Radu Grigore

Software Engineer

I am a Software Engineer working on static analysis.
Before Facebook, 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

Related Links

Google Scholar