Yves Hauser
Formal Methods Engineer at Monoid GmbH
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolYves Hauser is a Formal Methods Engineer based in Zurich with 13 years of experience applying functional programming and formal techniques to high-assurance systems. Currently at Input Output (IOHK) after progressing from Haskell developer to formal methods work, he blends deep mathematical training (Dipl. Math ETH) with practical engineering across finance and trading technologies. He co-runs Monoid GmbH, demonstrating entrepreneurial drive alongside industry roles that include senior quant and business development at Zürcher Kantonalbank. An active contributor to Plutus tooling—working on Marlowe-ACTUS integration and model refinements—he brings hands-on experience in smart-contract language implementation and property-based testing adjustments. Known for translating rigorous specs into production-ready code, he pairs a researcher’s precision with an operator’s pragmatism.
13 years of coding experience
22 years of employment as a software developer
Dipl. Math ETH Mathematics and Statistics, Dipl. Math ETH Mathematics and Statistics at ETH Zürich
Stackoverflow
33reputation
419reached
1answer
1question
Github Skills (7)
blockchain9
programming-language9
smart-contracts9
quickcheck8
purescript6
aeson6
haskell6
Programming languages (10)
Github contributions (5)
IntersectMBO/plutus
Aug 2021 - Oct 2021
The Plutus language implementation and tools
Role in this project:
Backend Developer
Backend DeveloperContributions:4 reviews, 98 commits, 5 PRs in 2 months
Contributions summary:Yves contributed code changes to the Plutus language implementation and tools, focusing on the Marlowe-ACTUS integration. The commits involved adding comments, refactoring existing code, and adding signatures to model functions. The user also made minor cleanups and adjustments to the quick-check generators to reflect the changes in the ContractTerms.
programming-languageblockchainsmart-contractsplutus
input-output-hk/marlowe-actus-labs
Nov 2022 - May 2023
Deploy ACTUS contracts on Cardano from your web browser
Contributions:1 review, 12 PRs, 104 pushes in 6 months
browserblockchainplutusweb-browsercontracts
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.