Lars Hupel's homepage

Profile picture Lars is an Evangelist at Giesecke+Devrient, a global company specialized in payments, connectivity, identities, and digital infrastructure. An engineer at heart, they are working to bring modern financial services to people. Lars writes articles and talks about a multitude of topics.

Previously, Lars was a PhD student at TU München in the field of logic and verification. Their research focus was on techniques for verified code generation from theorem provers.


Pronouns: they/them, er (German only)
Contact email:

Stay up-to-date by subscribing to my Atom feed. It includes all items that I publish here and elsewhere.


Standing invitation

Inspired by Patrick McKenzie, I am offering a standing invitation: If you want to talk research or software, I want to talk to you. For details, check this page.

Upcoming talks

JAX, Mainz, Germany
Omnisecure, Berlin, Germany
DevDays Europe, Vilnius, Lithuania
Lambda Days, Krakow, Poland
GOTO Amsterdam, Amsterdam, Netherlands

Flight status

Total CO₂ caused by flights: 81 tonnes
Offset so far: 81 tonnes


This page does not store cookies (see here for details). But I know that a lot of my visitors really like cookies. This is why I put a cookie here: 🍪
Feel free to use it however you like.
For your convenience, you can even click this button to copy a cookie to your clipboard: