About Me

I’m a computer scientist, located in London, UK, working on formal verification at the Fundamental AI Research (FAIR) org of Meta. My research focuses on using LLMs and agents to write formal specifications and proofs for programs, ensuring their safety and security.

Previously, I worked at WhatsApp on automated static and dynamic program analysis tools for WhatsApp server (Erlang) and clients (Android/iOS), preventing thousands of reliability, performance and privacy regressions before getting into production. I also drove the cleanup of 1000+ pre-existing issues by mobilizing 50+ engineers and leveraging AI.

I received a PhD in formal methods from the Budapest University of Technology and Economics. During my PhD I interned at SRI International (smart contract verification) and collaborated with CERN (PLC verification) and NASA JPL (systems analysis).

Selected Publications

SOAP’26 Scaling Static Code Analysis Adoption at WhatsApp iOS [pdf]
ICSE’26 WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp [pdf]
SOAP’25 Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health [pdf]
FSE’24 Automated End-to-End Dynamic Taint Analysis for WhatsApp [pdf]
ICSE’24 PrivacyCAT: Privacy-Aware Code Analysis at Scale [pdf]
VSTTE’19 solc-verify: A Modular Verifier for Solidity Smart Contracts [pdf]
FMCAD’17 Theta: a Framework for Abstraction Refinement-Based Model Checking [pdf]

Full list of publications: Google Scholar / dblp

Service

Program committee
Erlang’27 (chair)
Erlang’26 (chair), FTfJP’26 (chair)
Erlang’25 (chair), FormaliSE’25 (AE chair)
Infer’24 (PC)
Infer’23 (chair), FormaliSE’23 (PC), VMCAI’23 (PC)
WoSoCer’22 (PC), FORTE’22 (PC), CAV’22 (AE)
SV-COMP’21 (PC), OMBEE’21 (PC), FMICS’21 (PC), TAP’21 (AE), PLDI’21 (AE)
OMBEE’20 (PC), TAP’20 (AE), VMCAI’20 (AE)

Journal reviews
SCP, FAC, SQJ, STTT, IEEE Access