Mazdak Farrokhzad
Senior Rust Engineer at Polymath
Gothenburg, Sweden
Summary
🤩
Rockstar🎓
Top School
Top expert inRust Ecosystem Development
Mazdak Farrokhzad is a Senior Rust Engineer with 13 years of experience, blending deep compiler expertise, type theory and language design into production-grade systems at Polymath. A long-standing contributor to the Rust language and compiler, he brings uncommon familiarity with Rust internals alongside practical work on migration tools like c2rust and quality tooling such as clippy and proptest. His contributions span designing and refactoring ASTs and parsers for projects from the Leo language and Sway compiler to frunk’s type-level utilities, reflecting both theoretical rigor and pragmatic engineering. Comfortable in functional and theorem-proving paradigms (Haskell, Idris, Agda), he applies category-theoretic ideas where they yield cleaner, safer designs. Based in Gothenburg, he combines academic grounding from Chalmers with active open-source stewardship, including localization work for rust-lang, which hints at an attention to developer experience beyond pure code.
12 years of coding experience
Chalmers University of Technology
Stackoverflow
2,598reputation
82kreached
51answers
28questions
Github Skills (50)
coproduct10
parserator10
typesc10
programming-language10
parser10
hlist10
lexer10
translation10
abstract-syntax-tree10
localization10
compiler-design10
code-analysis10
language-design10
parsing10
generic-programming10
Programming languages (20)
Github contributions (5)
proptest-rs/proptest
Sep 2017 - Apr 2021
Hypothesis-like property testing for Rust
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:2 releases, 254 commits, 32 PRs in 3 years 7 months
Contributions summary:Mazdak appears to be a back-end developer contributing to a property testing framework written in Rust. They added a `new_borrowed` method to a character strategy for generating characters. Furthermore, they refactored code to utilize the `ValueFor` type alias for improved code clarity, and implemented several test cases to verify the correctness of generated values and the shrinking behavior of various strategies. Additionally, they added support for generating sequences of non-UTF-8 byte strings.
rusttestingproperty-testing
ProvableHQ/leo
Sep 2021 - Aug 2022
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Role in this project:Back-end Developer
Back-end DeveloperContributions:133 reviews, 101 commits, 15 PRs in 10 months
Contributions summary:Mazdak primarily contributed to the Leo programming language project by cleaning up code, refactoring the AST representation of imports, and adjusting reducers and the parser to accommodate the changes. They also modified various parts of the parser, including the binary expression parsing and the parsing of import statements. Furthermore, the user focused on refactoring the lexer and improving error handling.
verifiedzeroknowledgezero-knowledgeformally-verified
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.