About
Lars is a consultant with INNOQ in Munich, Germany.
He is 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, he is active in the open source community, particularly in Scala.
He also enjoys programming in and talking about Haskell, Prolog, and Rust.
Previously, he was a PhD student at TU München in the field of logic and verification.
His research focus was on techniques for verified code generation from theorem provers.
Contact email: lars@hupel.info
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.
Random fact
Flight status
Total CO₂ caused by flights: 65 tonnes
Offset so far: 22 tonnes