I’m a Research Engineer based in London, specialising in software correctness, systems reliability, and provable techniques. I also blog, sometimes.

As AI increasingly writes and operates software, the risks around correctness are shifting towards machine scale. I integrate rigorous testing and verification into software systems, including AI and agentic pipelines, to build software that is provably correct—particularly in cloud infrastructure, distributed systems, and other settings where bugs are costly or carry reputational, regulatory, or even criminal liabilities.

I lead a team of research engineers on provable reliability at Huawei R&D and previously worked in the Automated Reasoning Group at AWS. I hold a PhD in logics for verification.

In less than two years at Huawei, my team and I prevented 6 critical atomicity and consistency bugs from reaching production in a core cloud database; unblocked the launch of a key IAM security feature through logic encoding optimisations and by detecting 7 soundness bugs; and discovered tens of bugs in the eBPF validator in DPDK. All through rigorous verification applied to real codebases.