Yves Hauser
Formal Methods Engineer at Input Output (IOHK)
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
aeson6
purescript6
haskell6
Programming languages (11)
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
marlowe-lang/actus-core
Jun 2022 - Feb 2023
Implementation of the ACTUS taxonomy
Contributions:28 commits in 7 months
actushaskell-libraryfinancial-contracts
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.