Lars Hupel
Chief Evangelist at Giesecke+Devrient
Munich, Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolLars Hupel is a CBDC-focused technologist and Chief Evangelist at Giesecke+Devrient with 14 years of experience bridging formal verification, secure payments, and digital-currency standards. Trained as a computer scientist and former PhD researcher at TU München, he applies theorem-proving and verified-code generation techniques to real-world protocol and security problems. He has hands-on engineering chops across Scala open-source ecosystems—contributing to influential projects like cats-effect, fs2, shapeless and CakeML—particularly around cross-version builds, CI/CD, and type-safe abstractions. Lars advises international standards bodies and central banks on CBDC architecture and security, and curates curricula on blockchain, DSLs and formal methods for software-architecture certification. Based in Munich, he combines academic rigor with pragmatic DevOps and release engineering experience, and brings an unexpected passion for trains, electoral systems and bureaucracy that informs his work on robust, interoperable payment systems.
14 years of coding experience
2 years of employment as a software developer
Abitur, Abitur at Carl-Zeiss-Gymnasium JenaDoktor, Computer Science, Doktor, Computer Science at Technische Universität MünchenErasmus, Computer Science, Erasmus, Computer Science at Queen's University Belfast
German, English
Stackoverflow
2,599reputation
24kreached
62answers
12questions
Github Skills (57)
asynchronous10
structures10
unit-testing10
coproduct10
struct10
github-ci10
hlist10
build-configuration10
lib10
typeclass10
algebra10
async10
top-level10
testing10
sml10
Programming languages (19)
Github contributions (5)
typelevel/spire
Jan 2013 - Jul 2021
Powerful new number types and numeric abstractions for Scala.
Role in this project:
Backend Developer
Backend DeveloperContributions:11 reviews, 192 commits, 199 PRs in 8 years 7 months
Contributions summary:Lars contributed to the `typelevel/spire` repository, which focuses on number types and numeric abstractions in Scala. Their work involved implementing and testing algebraic structures such as semigroups, monoids, and groups. The user also added a `gcd` method to an example file, further demonstrating their focus on mathematical and algebraic concepts within the project.
abstractionsscalafunctional-programming
typelevel/cats
Jan 2017 - Dec 2021
Lightweight, modular, and extensible library for functional programming.
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 releases, 112 reviews, 185 commits in 4 years 11 months
Contributions summary:Lars primarily contributed to the `cats` library, focusing on improvements and maintenance tasks related to its internal structure and build processes. Their work included modifying build configurations (build.sbt) for Scala versions, updating dependencies, and addressing deprecation warnings related to macros. The user also added functionality for State and StateT objects. Furthermore, they addressed a hygiene problem and avoided deprecated macro APIs.
functional-programmingtagless-finalscalamodularextensible
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.