Background
I am a mathematician turned AI research scientist, based in London. I work in the Agentic AI team at Logos Research, where we build a platform that provides actionable feedback to coding agents based on formal verification, with a focus on applications in quantitative domains.
Before that I spent my career in probability theory and mathematical physics, most recently as a UKRI Marie Curie Postdoctoral Fellow at the University of Oxford.
Work
At Logos, we build an agentic harness which transforms domain knowledge into a formal specification, orchestrates coding agents that implement it, and provides a formal guarantee or counterexample of its correctness, including its compliance with regulatory and other constraints. I work on the harness as a whole, building and refining the agentic workflow as well as the mathematical basis for formal verification in quantitative applications.
- AI Research Scientist, Logos Research
- UKRI Marie Curie Postdoctoral Fellow, University of Oxford
- Postdoctoral Researcher, University of Warwick
- Coordinator, IRTG Stochastic Analysis in Interaction
- PhD in Mathematics, TU Berlin
Mathematical Research
My mathematical research is on rough analysis, singular stochastic PDEs, and the stochastic quantisation of Euclidean quantum field theories. At Oxford I held an independent fellowship funded by UK Research and Innovation, mentored by Massimiliano Gubinelli. Before that I was a postdoc in the group of Giuseppe Cannizzaro at Warwick.
I did my doctorate at TU Berlin with Peter K. Friz, and I coordinated a research training group funded by the German Research Foundation across five institutions in Berlin and Oxford. My papers are listed on the publications page.