RESEARCH / ALGORITHMS × INTELLIGENCE
My interests sit between combinatorial optimisation, learning-guided algorithms and systems that must perform outside a toy setting.
FEATURED RESEARCH / PACE 2026
Three specialised C++ solvers for the Maximum Agreement Forest Challenge, designed around complementary competition objectives.
CURRENT DIRECTIONS
Exact and heuristic methods for hard optimisation problems, informed by real instance behaviour.
Using data to improve branching, selection and configuration while retaining algorithmic discipline.
Evaluation-first AI systems where retrieval, latency and failure modes are visible and measurable.
PUBLISHED RESEARCH / IEEE ETNCC 2023
Static analysis for detecting loop-fusion opportunities in Ethereum smart contracts. Evaluated across 100+ contracts, the pipeline produced approximately 9.6% lower gas usage in the studied cases.