Daniel Firth
Senior Software Engineer at Homotopic.Tech
United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolDaniel Firth is a Haskell programmer and mathematician with 11 years of engineering experience, combining deep functional-programming expertise with a formal mathematics background (MMath in Harmonic Analysis). He has driven Haskell-led projects across research and industry, including roles at IOHK, Platonic.Systems, and as founder-level contributor at Homotopic.Tech, and is the author of the horizon-haskell project. His work spans smart-contract engineering, distributed systems research (CloudHaskell), and demanding embedded/AR and CI/CD systems from a long tenure at Codethink, showing both low-level systems chops and high-level formal thinking. Colleagues rely on him for rigorous design, Haskell training, and research-oriented solutions that prioritize correctness and provenance in complex software ecosystems.
11 years of coding experience
12 years of employment as a software developer
Master of Mathematics, Harmonic Analysis, Master of Mathematics, Harmonic Analysis at University of Leeds
English, French, German
Github Skills (200)
hydra10
nixpkgs10
nix10
haskell10
ghci10
ada10
ffi10
vinyl10
nixos10
hackage10
scalability10
plutus10
opaleye10
cardano10
linux10
Programming languages (19)
Github contributions (5)
locallycompact/polysemy
Oct 2020 - Oct 2024
:gemini: higher-order, no-boilerplate monads
Contributions:9 pushes, 3 branches in 3 years 11 months
boilerplategeminimonadsno-boilerplatenodejs
homotopic-tech/polysemy-methodology
Oct 2020 - Jul 2021
Contributions:38 commits, 12 pushes, 1 branch in 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.