Engineer at heart, working to bring modern financial services to people. Lars is a Chief Evangelist at Giesecke+Devrient, a global company specialized in payments, connectivity, identities, and digital infrastructure.
They write articles and talk 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.
They also say that they have an “absurd enthusiasm for trains, electoral systems, and bureaucracy”. Lars writes articles and talks about a multitude of topics.