Portrait of  Radu Grigore

Radu Grigore

Software Engineer, WhatsApp Inc.; Honorary Senior Lecturer, School of Computing, University of Kent


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