Jann Müller
Software Engineer at avatar-engines
Mannheim, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolJann Müller is a software engineer based in Mannheim, Germany, with 12 years of experience building backend systems and cryptographic tooling. He combines rigorous academic training from Hasso Plattner Institute and a PhD from UCL with hands-on open-source contributions, notably enhancing the Plutus smart contract language by adding numeric types, integer arithmetic operators, an Ada type and comprehensive tests. Comfortable in both systems-level engineering and crypto-aware development, he focuses on reliable, auditable implementations that bridge language design and practical blockchain use. Colleagues value his careful attention to test coverage and his knack for turning formal concepts into usable developer APIs.
13 years of coding experience
Bachelor of Science, Bachelor of Science at Hasso Plattner InstituteUniversity College London
Github Skills (6)
smart-contracts10
plutus10
haskell10
blockchain10
cryptography9
cryptocurrency9
Programming languages (9)
Github contributions (5)
IntersectMBO/plutus
Sep 2018 - Oct 2021
The Plutus language implementation and tools
Role in this project:
Back-end Developer & Crypto Engineer
Back-end Developer & Crypto EngineerContributions:2 releases, 528 reviews, 686 commits in 3 years 1 month
Contributions summary:Jann's contributions primarily involve modifying the Plutus language implementation and related tools within the "plutus" repository, focusing on smart contract development. They added constraints and operators for handling integer arithmetic operations, exported a "Rational" datatype and the related functions for use in the Plutus environment, and added a new type "Ada" and a related API. The changes also include adding tests for the functionality.
programming-languageblockchainsmart-contractsplutus
MELD-labs/plutus
Feb 2021 - Apr 2021
The Plutus language implementation and tools
Contributions:245 commits in 1 month
plutus
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.