Marty Stumpf
Director at On Sabbatical
British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolMarty Stumpf is a director and software engineer with eight years of hands-on experience building cryptography-aware compilers, language tooling, and high-assurance systems. She has driven performance and specification work at IOHK (Plutus) and as a founding compiler engineer at Lita, where her optimizations and custom crypto opcodes reduced proving time and improved codegen efficiency by over 10x. Equally comfortable with research and production, Marty blends a PhD-level economics/statistics background with practical language engineering in Haskell, Rust, and LLVM, and contributed core parser and tooling improvements to Cardano’s Plutus implementation. A natural technical leader, she organizes spec rewrites, improves team processes, and surfaces economic and security trade-offs when prioritizing features. Off the clock she values exploration and balance — her current sabbatical is focused on family and reflection after intensive startup and research cycles. Her combination of formal-methods interest (Coq/Agda), applied crypto work, and economist’s lens yields pragmatic, cost-aware technical decisions.
7 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy - PhD (ABD) Economics, Doctor of Philosophy - PhD (ABD) Economics at University of VictoriaBachelor of Business Administration Business Economics, Bachelor of Business Administration Business Economics at City University of Hong Kong
English, Chinese, Chinese
Github Skills (3)
programming-language10
blockchain10
smart-contracts9
Programming languages (9)
Github contributions (5)
IntersectMBO/plutus
Jun 2021 - Jan 2023
The Plutus language implementation and tools
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 647 reviews, 121 commits in 1 year 7 months
Contributions summary:Marty primarily contributed to the development of the Plutus Core language implementation and tools. Their commits focused on enhancing the UPLC parser, including the creation of a new Megaparsec parser. They refactored existing code, separated the PLC main and UPLC frontends, and fixed evaluation calls within the system's test suite. These changes indicate involvement in core language components and their underlying infrastructure.
programming-languageblockchainsmart-contractsplutus
heliaxdev/totality-checker
Apr 2020 - Dec 2020
A totality checker for a dependently typed language implemented in Haskell.
Contributions:137 commits, 2 PRs, 126 pushes in 8 months
typed-languagecheckerhaskelltypedservant
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.