Lars is a consultant with INNOQ in Munich, Germany.
They are known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment.
A frequent conference speaker, they are active in the open source community, particularly in Scala.
They also enjoy programming in and talking about Haskell, TypeScript, Prolog, and Rust.
Previously, they were 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.
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.Flight status
Total CO₂ caused by flights: 72 tonnesOffset so far: 66 tonnes