Adriaan Moors

I’m a post-doc working on the Scala programming language in Martin Odersky’s lab. My EPFL homepage has my work contact info. Google will tell you all about personal-me.

I’m interested in exploiting static types to make programming more productive.

Concretely, my colleagues and I are working on (in decreasing order of personal involvement):

1. Improving Scala’s type inference and implicit search algorithms
2. Virtualizing Scala to optimize embedded Domain Specific Languages
3. A practical effect system for Scala
4. Type debugging for Scala

I spend a fair amount of time hacking scalac, particularly fixing bugs in the type checker. If you have a ticket that’s assigned to me (I’m “moors” in trac), but which isn’t in trunk yet, maybe it’s already fixed in my fork of the official Scala repository. The branch you’re looking for is ticket/NNNN.

Research

I hope to find time to write down some of the stuff I’m working on (or have worked on). In the meantime, please check DBLP, ask Google Scholar, or have a look at our lab’s publication page.

Last three posts in research:

• Whats new in Scala 2.8: type constructor inference

Teaching

Last three posts in teaching:

• Foundations of Software -- Fall 2010