Lars Hupel


Profile picture 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.



Random fact

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.