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.
Total CO₂ caused by flights: 72 tonnes
Offset so far: 48 tonnes