Patrick Stevens

Software engineer with professional experience of F# (writing frameworks and tooling at a quantitative finance company) and C (working on carrier-class routing software). BA+MMath (honours with merit) from Jesus College, Cambridge. Skills: * Safe development: from using the type system to enforce semantics, to property-based testing to make comprehensive assertions about behaviour. * Interacting with highly mathematical quant users, determining and refining requirements based on user feedback. * Identifying and fixing issues with existing workflows. * Public outreach, e.g. In person at conferences, or in blog form (see https://www.patrickstevens.co.uk/categories/g-research/) Strong appreciation of the power of a good CI/CD pipeline. Firm believer in mathematical elegance as a design principle: a mathematically coherent design is extensible and has predictable behaviour.