Adriaan Moors

Adriaan is the Scala Tech Lead at Typesafe. He's been hacking scalac since version 2.4, writing a dissertation about type-level abstractions in Scala in the mean time. It all began in 2007 with a visit to the Scala team at EPFL to implement support for type constructor polymorphism in Scala, the first ever external contribution to Scala's type checker (and it's still in there!). He joined EPFL as a post-doc in 2009 to work on improvements to type inference, implicit search, dependent method types (as well as some type theory and work on scala-virtualized). His Summer Fun Project of 2011 got somewhat out of hand and resulted in a complete rewrite of Scala's pattern matcher in Scala 2.10.