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
Background
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.
Contact
The best way to reach me is by email at tom.klose@outlook.com.