Profile picture

Hi! This is Lars’ homepage.

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

Zühlke Late Afternoon Talk, Zürich und online
Bitkom_Block, online

Flight status

Total CO₂ caused by flights: 90 tonnes (100% offset)


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: