Clifford Harvey
Senior Software Engineer at Klarna
Stockholm, Stockholm County, Sweden
Summary
👤
Senior🎓
Top SchoolClifford Harvey is a Senior Software Engineer based in Stockholm with 11 years of experience bringing principled, mathematically grounded design to production systems. Trained as a physicist at WPI, he applies a fundamental, abstraction-first mindset to software problems and has deep experience in Haskell and type-safe functional programming. His work spans fintech at Klarna, Haskell platform development at Hi Henry, and founding a static-analysis spin-off that pushed defect prevention techniques into industry. An active open-source contributor, he has improved core libraries like Opaleye and added dependently-typed linear algebra to the Idris language, reflecting a rare blend of practical backend engineering and formal rigor. Colleagues rely on him for clear reasoning, careful abstractions, and turning theoretical insight into robust engineering.
11 years of coding experience
4 years of employment as a software developer
Bachelor’s Degree, Physics, Bachelor’s Degree, Physics at Worcester Polytechnic Institute
English, Swedish
Github Skills (19)
structures10
struct10
dependent-types10
postgresql10
matrix10
lib10
algebra10
databases10
data-structure10
vector10
mat10
idris10
data-structures10
functional-programming10
querying10
Programming languages (7)
Github contributions (5)
idris-lang/Idris-dev
Oct 2014 - Aug 2015
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:25 commits, 5 PRs, 7 comments in 9 months
Contributions summary:Clifford primarily contributed to the `idris-dev` repository by implementing and updating modules related to linear algebra and mathematical structures, such as matrices and vectors, with dependent types. Their work involved defining algebraic classes, including Semigroup, Monoid, Group, Ring, and Field. These contributions included creating matrix operations, such as multiplication and commutators, along with the vector counterparts. Furthermore, they instantiated these classes for various numeric types and for vectors, demonstrating a focus on type-safe, mathematical code.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
tomjaguarpaw/haskell-opaleye
Mar 2018 - Jul 2018
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 3 PRs, 11 comments in 3 months
Contributions summary:Clifford primarily contributed to the Opaleye library, focusing on enhancements and bug fixes related to database interaction and query construction. Their work included adding new functions like `liesWithin`, `distinctOn`, and `upperBound/lowerBound` for range operations, improving the library's functionality. They also refactored code by formatting imports and fixing issues with range representation.
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.