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, 25 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.
ghcget-startednewcomershaskellcabal
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.