Radu Grigore
Software Engineer, WhatsApp Inc.; Honorary Senior Lecturer, School of Computing, University of Kent
About
Radu Grigore is a Software Engineer at WhatsApp Inc., since January 2021. Before that, in inverse chronological order, he was a Senior Lecturer at University of Kent, a researcher at University of Oxford, a researcher at Queen Mary University of London, a graduate student at University College Dublin, a software engineer intern at Google, and a software engineer at Nobug Consulting. He received a distinguished paper award from PLDI (a top conference in programming languages).
Research interests
Radu's interests are centered around program verification. Within this area, he worked on problems ranging from purely theoretical to practical tool development.
Last updated 1 October 2023