I am a software engineer at Typesafe
working on the Scala compiler.
My doctoral research
was about systems for controlling side-effects in non-purely-functional programming languages. Concretely, I was working on a generic type-and-effect system for Scala
. The project page is located at Github
Besides that, I did a fair amount of hacking in the Scala compiler. For example, I designed and implemented named and default arguments.
In my computer-free time, I enjoy listening and playing music, climbing mountains and piloting small airplanes.
Contact me by e-mail: email@example.com.