Marcin Pastudzki
Software Engineer
Warsaw, Masovian Voivodeship, Poland
Summary
🤩
RockstarMarcin Pastudzki is a software engineer based in Warsaw with 12 years of experience specializing in statically typed functional programming and formal verification. He contributes to prominent open-source projects—most notably Idris, where he implemented and proved algebraic laws and added access controls and documentation, and Mina Protocol, where he strengthened Rosetta back-end logic and model correctness for a zk-focused blockchain. Comfortable working at the intersection of theory and production, he translates mathematical proofs into maintainable, compiled code and fixes real-world integration issues like obsolete GraphQL queries and malformed versioning. His background shows deep expertise in dependently typed languages and a pragmatic focus on robustness and compatibility. Colleagues can rely on him to improve system correctness while keeping systems deployable and well-documented.
12 years of coding experience
Github Skills (18)
back-end-development10
wpgraphql10
ocaml10
formal-verification10
idris10
wordpress-graphql10
blockchain10
abstract-algebra10
graphql10
functional-programming10
apidoc9
math9
mathematics9
cryptography9
api9
Programming languages (10)
Github contributions (5)
MinaProtocol/mina
Sep 2022 - Jan 2023
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:219 reviews, 122 commits, 117 PRs in 4 months
Contributions summary:Marcin primarily contributed to the Rosetta implementation for the Mina protocol, focusing on the back-end logic. Their work included fetching genesis block height from GraphQL, fixing obsolete queries in the Rosetta /block endpoint, and removing code handling deprecated data. Additionally, they fixed a malformed version number and added operation types related to zkApps. They also updated models and fixed compilation errors, which shows an effort to maintain and improve the system's core functionalities.
minaethereumsecurityblockchainocaml
idris-lang/Idris-dev
Mar 2019 - Mar 2019
A Dependently Typed Functional Programming Language
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits, 4 PRs, 29 comments in 1 day
Contributions summary:Marcin contributed to the `idris-dev` repository by implementing and documenting laws related to abstract algebra within the project. The contributions primarily involved proving mathematical properties, which is indicative of strong functional programming skills. The user demonstrated expertise in formal verification techniques using Idris. The user also added access controls and documentation comments.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
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.