Lars Hupel

About

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.

Contact

Academic: lars.hupel@tum.de
Non-academic: lars@hupel.info

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.