Lars is a PhD student in Munich, Germany, working in the area of theorem proving. He has been using Scala for quite a while now, and is known as one of the founders of the typelevel initiative which is dedicated to providing principled, type-driven Scala libraries. He also talks about Haskell and Isabelle a lot.

Talks I've Given

My Work

@larsr_h has not provided any work info yet.

Social and Blogging

@larsr_h has not provided social links yet.