Koz Ross
Consultant at Urban Mobility Labs
Auckland, Auckland, New Zealand
Summary
🤩
Rockstar🎓
Top SchoolKoz Ross is a consultant and experienced back-end developer with 11 years of experience building reliable, efficient systems—most recently translating high-level eDSLs to multiple databases and shaping a large payment-processing web application. He combines deep academic grounding (PhD in Computer Science) with practical ops skills, having run lightweight Linux services with 99% uptime and completed fast, high-quality data-processing contracts for organisations like Fisher & Paykel Healthcare and NASA. A passionate functional programmer and Haskell maintainer, Koz has contributed performance and core-library improvements to GHC and helped optimise on-chain types and cryptographic primitives in the Plutus ecosystem. He values correctness and elegant, mathematically grounded solutions, and brings a track record of squeezing big results from small, well-designed codebases.
11 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Auckland University of TechnologyBachelor of Arts - BA (Hons), Political Studies, B+, Bachelor of Arts - BA (Hons), Political Studies, B+ at The University of Auckland
Stackoverflow
3,100reputation
130kreached
4answers
137questions
Github Skills (20)
programming-language10
monoid10
blockchain10
smart-contracts10
functional-programming10
haskell10
data-structure9
semigroup9
data-structures9
algorithms8
context-free-language6
context-free-grammar6
grammar6
compiler-construction6
cmake6
Programming languages (48)
Github contributions (5)
IntersectMBO/plutus
Jan 2022 - Aug 2022
The Plutus language implementation and tools
Role in this project:
Back-end Developer
Back-end DeveloperContributions:143 reviews, 51 commits, 26 PRs in 6 months
Contributions summary:Koz significantly contributed to the `plutus` repository, specifically focusing on the implementation and improvement of the `Rational` type, including its on-chain size optimization and documentation. Their work involved refactoring the `Rational` implementation, migrating core functionalities, and fixing associated issues within the codebase. Furthermore, the user added support for SECP256k1 verification, introducing new built-ins and addressing build and test failures, demonstrating expertise in cryptographic primitives.
programming-languageblockchainsmart-contractsplutus
ghc/ghc
Jan 2021 - May 2021
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 commits in 4 months
Contributions summary:Koz primarily focused on enhancing the `Data.Bits` module by implementing bitwise infix operations, and adding documentation headers. Furthermore, the user introduced `append`, `appendList`, and `prependList` functions within `Data.List.NonEmpty` and optimized list `fold` and `foldMap` methods using `mconcat` in several modules like `Data.Bits` and `Data.Semigroup`. These changes demonstrate a focus on improving core library functionality and performance within the Haskell ecosystem.
compilerghcgitlabhaskell
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.