Research Blog

Dissertation logbook — mathematical proofs, Lean formalisations, and working notes on stochastic calculus, numerical methods, and quantitative finance.