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.