Kirill Elagin
Lead Engineer at [undisclosed]
Zug, Zug, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolKirill Elagin is a Lead Engineer with 15 years of experience combining formal academic training in mathematical logic (PhD) and practical leadership across product development, testing, and DevOps. He specializes in functional programming, type theory, and Theoretical Computer Science, and has hands-on experience contributing to notable open-source projects like the Glasgow Haskell Compiler and conduit. Kirill has led engineering and CTO roles driving Nix-based infrastructure, reproducible builds, and tooling improvements—work that surfaced in contributions to nix-darwin and haskell.nix. A strong advocate of TDD, documentation, and developer culture, he pairs rigorous design and specification skills with people leadership to reliably ship complex systems. Less obvious: he has applied his type-theory research background to real-world compiler and build-system problems, improving both correctness and developer ergonomics. Based in Zug, Switzerland, he thrives at the intersection of research-grade correctness and production-grade delivery.
15 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (PhD) Mathematical Logic Algebra and Number Theory, Doctor of Philosophy (PhD) Mathematical Logic Algebra and Number Theory at St. Petersburg Academic UniversityBachelor's degree Applied Mathematics and Computer Science, Bachelor's degree Applied Mathematics and Computer Science at ITMO University
Russian, English, Esperanto, German, Spanish
Stackoverflow
13,396reputation
1.4mreached
279answers
16questions
cross-platform
top-5%
versioning
top-5%
git
top-5%
python
top-5%
git-submodules
top-5%
Github Skills (42)
nix10
pretty-print10
scripting10
compiler-development10
data-structure10
darwin10
automation10
script10
infrastructure10
ghc10
data-structures10
sh10
build-tools10
automations10
functional-programming10
Programming languages (29)
Github contributions (5)
input-output-hk/haskell.nix
Dec 2019 - May 2020
Alternative Haskell Infrastructure for Nixpkgs
Role in this project:
DevOps Engineer
DevOps EngineerContributions:5 commits, 6 PRs, 32 comments in 5 months
Contributions summary:Kirill's contributions primarily revolve around improving the build and infrastructure aspects of the Haskell Nix project. They fixed issues related to Darwin builds and enabled the use of `.so` dynamic libraries. The user also addressed file path issues within the build system and made changes to how licenses are handled during component cleaning, improving the project's build process and compatibility. Furthermore, they cleaned up iserv-related patches, ensuring they align with upstream changes.
ghcnix-expressionshaskellinfrastructurenixos
nix-darwin/nix-darwin
May 2018 - Jan 2019
nix modules for darwin
Role in this project:DevOps Engineer
DevOps EngineerContributions:5 commits, 4 PRs, 8 comments in 7 months
Contributions summary:Kirill's contributions primarily focus on improving the nix-darwin build process and environment. They implemented a GnuPG agent service, added vendor completions for ZSH, and sanitized the PATH environment variable in the installer and activation scripts to ensure a "pure" build environment. They also addressed issues with the installer by bringing in their own `nix-instantiate` command. These changes enhance the system's build and deployment processes.
nixoshome-managerlaunchddarwinnix-modules
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.