Mathematics & Modelling
From formal theorem proving to neural networks — projects where mathematics meets computation.
I’ve always been drawn to the interplay between rigorous mathematics and practical computation. These projects range from formalizing proofs in Lean to training neural networks, with financial modelling on the horizon.
Financial Model Toolkit
A comprehensive Excel and Python toolkit for building DCF valuations, LBO models, and scenario analysis with automated sensitivity tables.
Formal Verification in Lean 4
Master's thesis work formalizing mathematical proofs using the Lean 4 theorem prover, focusing on directed acyclic graphs and divisibility.
Mathlib — Lean
Contributing to Mathlib, a worldwide collaborative effort to formalize all of mathematics in the Lean theorem prover.
Neural Networks & Reinforcement Learning
Bachelor thesis on multilayer perceptrons and the universal approximation theorem, with a reinforcement learning agent trained to play Flappy Bird.
Financial Mathematics
Upcoming projects in quantitative finance — option pricing, stochastic modelling, and risk analysis.