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.
Profiles
- 💼 INNOQ
- 🎓 Google Scholar
- 💻 GitHub
- 🎙️ Speaker Deck
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
Cookies
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: