Michal 

Software Engineer

email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Michal is a software engineer with 10 years of hands-on experience building backend systems, notably contributing to the core of the æternity blockchain where they implemented key management, state and transaction processing modules and added features like Proof of Fraud and naming integration. They excel at low-level, consensus-adjacent work in distributed systems and have a track record of turning complex blockchain concepts into production-grade code. Michal pairs deep Erlang-based backend expertise with practical problem solving, focusing on reliability and transaction logic. Their GitHub affiliation with a prominent blockchain project indicates strong open-source collaboration and comfort working on high-stakes, security-sensitive infrastructure.
code10 years of coding experience
github-logo-circle

Github Skills (9)

state-management10
smart-contracts10
transaction10
transactional10
erlang10
blockchain10
cryptography9
cryptocurrency9
mining8

Programming languages (8)

JavaShellC++RustJavaScriptErlangElixirPython

Github contributions (5)

github-logo-circle
aeternity/aeternity

Aug 2017 - Nov 2019

æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens
Role in this project:
userBackend Developer
Contributions:8 releases, 162 commits, 172 PRs in 2 years 2 months
Contributions summary:Michal contributed to the core functionalities of the æternity blockchain. They implemented and modified modules related to key management (aec_keys.erl), state management (aec_state.erl), and transaction processing (aec_tx_pool.erl, aec_tx.erl). Their work included adding features like Proof of Fraud (PoF) and integrating naming system functionalities, indicating involvement in the blockchain's consensus and transaction logic.
tokensethereumchannelserlangscaling
sennui/testnet

Jun 2017 - Aug 2017

Contributions:11 PRs, 62 pushes, 23 branches in 2 months
solvingstate-channelsproblemssensechannels
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.
Request Free Trial
Michal - Software Engineer