Artem Gureev
Lead Distributed Systems Engineer at Heliax
Yerevan, Armenia
Summary
🤩
Rockstar🎓
Top SchoolArtem Gureev is a Lead Distributed Systems Engineer at Heliax with five years of experience building the Anoma Distributed Operating System and its protocol adapters. He combines practical backend engineering—contributing to the Anoma reference implementation’s intent pool, communicator, mempool broadcasting, and testing—with research-grade expertise in category-theoretic compiler design and dependent type semantics. At Heliax he leads the Anoma Backend Engineering team and drove the EVM Anoma Protocol Adapter and AnomaPay backend designs, bridging protocol design and production systems. His background includes designing a compilation pipeline from Juvix to VampIR and teaching roles that reflect strong foundations in mathematics and formal methods. Based in Yerevan, he brings a rare mix of theoretical depth (homotopy-theoretic approaches to semantics) and hands-on distributed systems delivery. Expect thoughtful, well-instrumented implementation work that anticipates correctness and composability from the start.
5 years of coding experience
3 years of employment as a software developer
PhD Student (Voluntarily Withdrew), Mathematics, PhD Student (Voluntarily Withdrew), Mathematics at Western UniversityBachelor of Arts - BA, Mathematics and Philosophy, Bachelor of Arts - BA, Mathematics and Philosophy at Boston University
Github Skills (8)
genserver10
distributed-systems10
erlang10
elixir10
testing10
blockchain9
mnesia9
cryptography8
Programming languages (8)
Github contributions (5)
anoma/anoma
Oct 2024 - Apr 2025
Reference implementation of Anoma
Role in this project:
Back-end Developer
Back-end DeveloperContributions:90 reviews, 177 PRs, 163 pushes in 5 months
Contributions summary:Artem primarily contributed to the backend logic of the Anoma project, focusing on the intent pool and communicator functionality. They refactored the pool's GenServer casts, broadcasting intent additions and removals. Additionally, the user implemented features to broadcast mempool transaction additions and execution, and added tests to ensure correct functionality. The user also added logging for all functions involved.
cryptographyanomaconsensusprotocolp2p
agureev/agureev.github.io
Jun 2020 - Aug 2022
Contributions:111 pushes, 1 branch in 2 years 2 months
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.