Aleksandr Karbyshev
Research Engineer at Heliax
Stuttgart, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolAleksandr Karbyshev is a research engineer based in Stuttgart with nine years of professional experience bridging academic verification research and production-grade software development. He holds a PhD in Computer Science and has a strong track record in static analysis, formal methods and program verification from roles at TUM, Tel Aviv and Aarhus, later translating that expertise into tools and standards-focused engineering at Axivion. At Heliax he applies this background to research-driven engineering, and his open-source contributions to blockchain projects like Anoma and Namada show practical competence in Rust, storage hardening, race-fix engineering and key-recovery features for privacy-preserving networks. Aleksandr combines rigorous mathematical training with hands-on systems work, often tightening specifications and refactoring complex codebases to improve correctness and maintainability. Colleagues describe him as the kind of engineer who moves smoothly between proving properties on paper and shipping robust backend fixes in production.
9 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Technical University MunichSESC NSU — ( СУНЦ НГУ \ ФМШ )Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Novosibirsk State University (NSU)
English, German, Danish, Russian
Github Skills (8)
mnesia10
storage10
rust10
elixir10
blockchain10
cryptography9
distributed-systems8
privacy8
Programming languages (8)
Github contributions (5)
anoma/namada
May 2022 - Dec 2022
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Role in this project:
Back-end Developer
Back-end DeveloperContributions:40 reviews, 10 commits, 28 PRs in 7 months
Contributions summary:Aleksandr primarily contributed to improving the codebase by refining comments, messages, and help messages, which enhanced code readability. The user implemented features for keypair and wallet recovery from mnemonic codes, and improved general messaging. The user also addressed the integration of key generation through BIP39 mnemonic codes.
interchainzkpprivacyrustagnostic
anoma/anoma
Nov 2021 - Jun 2022
Reference implementation of Anoma
Role in this project:Backend Developer
Backend DeveloperContributions:5 reviews, 10 commits, 11 PRs in 7 months
Contributions summary:Aleksandr primarily contributed to the `Anoma` repository by addressing storage-related issues and improving the overall codebase. Their work involved fixing race conditions in storage operations, implementing key deletion functionalities, and integrating storage solutions within the identity manager. Further contributions include tightening specifications and correcting errors in the codebase and documentation, as well as refactoring and refactoring key computation.
cryptographyanomaconsensusprotocolp2p
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.