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).
Radu's interests are centered around program verification. Within this area, he worked on problems ranging from purely theoretical to practical tool development.