Teofil C
Software Engineer at CircuitHub
Leeds, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolTeofil C is a software engineer with nine years' experience, currently at CircuitHub after four years building full-stack systems with Haskell and TypeScript at Tracsis. He specializes in backend systems, build engineering and runtime performance—contributing to high-profile open-source projects like the Glasgow Haskell Compiler and haskell.nix where he optimized garbage collection, memory management and Nix build performance. Comfortable across the stack, he has a track record of fixing subtle type- and compatibility-related issues in libraries such as Servant while maintaining build stability for multiple GHC versions. An Oxford graduate in Computer Science and Philosophy, he brings a rigorous, analytical approach to software design and a particular aptitude for diagnosing low-level performance and build-tool bottlenecks.
10 years of coding experience
4 years of employment as a software developer
Master’s Degree Computer Science and Philosophy, Master’s Degree Computer Science and Philosophy at University of Oxford
English, Hungarian, German, Irish
Github Skills (12)
dependency-management10
memory-management10
type-system10
run-time10
build-tools10
runtimes10
nix10
haskell10
ghc10
garbage-collection10
infrastructure9
fest8
Programming languages (10)
Github contributions (5)
input-output-hk/haskell.nix
Jun 2021 - Jun 2022
Alternative Haskell Infrastructure for Nixpkgs
Role in this project:
Back-end Developer & Build Engineer
Back-end Developer & Build EngineerContributions:3 reviews, 8 commits, 14 PRs in 1 year
Contributions summary:Teofil primarily contributed to improving the Haskell Nix infrastructure within the repository. Their work focused on optimizing build processes, specifically addressing performance bottlenecks in the `shellFor` functionality and the `flatLibDepends` function. Furthermore, the user added support for a new GHC version (8.10.6) and made several minor fixes to the build system. Their contributions demonstrate a strong understanding of Nix expressions and Haskell build tooling.
haskellnixpkgsnixbuild-toolinfrastructure
haskell-servant/servant
Aug 2022 - Oct 2022
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 reviews, 7 commits, 3 PRs in 2 months
Contributions summary:Teofil primarily contributed to bug fixes and dependency updates within the Haskell-based web framework. Their work included addressing type errors specific to GHC-9.4, bumping dependency bounds for `http-api-data`, and using CPP to resolve compatibility issues with older GHC versions. Additionally, the user updated `doctest` to ensure compatibility with newer GHC versions, demonstrating a focus on project maintenance and ensuring build stability.
dslhaskellmocking
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.