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.
Contact me by e-mail: email@example.com - my social networking accounts are mostly idle.