Dylan Thinnes
Software Engineer, Language (Haskell Scala) at Digital Asset
City of Edinburgh, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolDylan Thinnes is a software engineer specializing in functional programming with a decade of experience building language-focused systems in Haskell and Scala. Currently at Digital Asset, he brings practical exposure to FPGA-accelerated ML, formal verification workflows, and web engineering from roles at Myrtle.ai, Arm, and multiple startups. A University of Edinburgh computer science student and active hackathon participant, he pairs theoretical interests—from type theory to digital circuitry—with hands-on toolchain and fabrication skills (3D printing, CNC, laser cutting). Comfortable mentoring and presenting technical work, he has a track record of shipping production components, reducing vendor lock-in in verification pipelines, and translating research-grade concepts into maintainable code.
10 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Computer Science, 1st Year, Bachelor of Science - BS, Computer Science, 1st Year at The University of EdinburghSt. Mary's International School Tokyo
French, German, English, Japanese
Github Skills (63)
stack10
ide10
hackage10
language-server10
servant10
ghc10
cabal10
haskell-language-server10
haskell10
slide9
password-strength9
warnings8
css7
permanent7
javascript6
Programming languages (7)
Github contributions (5)
dylan-thinnes/conway-wechsler
Jan 2019 - Aug 2021
Contributions:163 commits, 45 pushes, 2 branches in 2 years 6 months
dylan-thinnes/solsys-functional
Sep 2018 - Jun 2019
Contributions:108 commits, 20 pushes in 8 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.