Radu Grigore
Software Engineer at Meta
Canterbury, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRadu Grigore is a software engineer with 16 years of experience blending research-grade program analysis and production engineering, currently working on WhatsApp developer infrastructure at Meta. He has a strong academic pedigree (PhD in Computer Science) and a track record of contributions to static analysis tools, including notable work on Facebook Infer to add Erlang analysis capabilities. Comfortable across paradigms and languages—from C performance experiments and OCaml symbolic execution to Haskell bytecode tooling—he brings both theoretical depth and low-level systems pragmatism. His research has earned recognition at top programming-language venues and includes formal proofs of distributed-system conjectures, reflecting rare rigor for a production engineer. Based in Canterbury, UK, he started coding at six and still favors elegant, mathematically grounded solutions to messy real-world problems. Anagrammatic GitHub handle “argued rigor” hints at his blend of careful argumentation and exacting code.
16 years of coding experience
8 years of employment as a software developer
Gheorghe Sincai High SchoolDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University College DublinBachelor's degree, Electronics and Telecommunications, 97.5%, Bachelor's degree, Electronics and Telecommunications, 97.5% at Universitatea „Politehnica” din București
Stackoverflow
26reputation
752reached
1answer
0questions
Github Skills (10)
static-analysis10
erlang10
parsing9
json-parser9
json9
jsonp9
abstract-syntax-tree8
algorithm6
language-design6
programming-language6
Programming languages (9)
Github contributions (5)
facebook/infer
Jun 2017 - Jan 2023
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer
Back-end DeveloperContributions:140 commits, 5 PRs, 46 comments in 5 years 7 months
Contributions summary:Radu's contributions focused on implementing and improving the Erlang analysis capabilities within the Infer static analysis tool. Their work includes developing data structures for Erlang ASTs, parsing JSON-formatted Erlang ASTs, building a names environment, and adding support for translating Erlang functions, including handling call events and applying type filters. The user also addressed bugs related to the handling of dynamic types and the generation of debug output, demonstrating a commitment to improving the tool's accuracy and usability. These modifications resulted in new capabilities to understand and represent Erlang programs for analysis.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
rgrig/systems-book
Nov 2017 - Apr 2019
A tour through concepts necessary to understand how modern computer systems are built.
Contributions:46 commits, 18 pushes, 1 branch in 1 year 5 months
crosswordcppsystem-designlistscomputer-architecture
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.