Radu Grigore is a seasoned software engineer and researcher with significant experience in static analysis, runtime verification, and software development. Radu has served as a Research Collaborator at PRO Unlimited @ Facebook, focusing on experimental frameworks for detecting temporal property violations, and as a Software Engineer at Meta, contributing to WhatsApp Development Infrastructure. Prior roles include a Lecturer and Senior Lecturer in Computing at the University of Kent, and Research Assistant positions at the University of Oxford and Queen Mary, University of London, where Radu engaged in various projects including SAT solving and symbolic execution. Early career experience includes software development at NoBug Consulting, a software engineer internship at Google, and a Bachelor's degree in Electronics and Telecommunications from Universitatea „Politehnica” din București, followed by a PhD in Computer Science from University College Dublin.
This person is not in the org chart
This person is not in any teams
This person is not in any offices