Research

Pattern Matching

I studied Programming Languages in Martin Odersky's group at EPFL. Ever since, I remain enthusiastic about programming language technology. dblp

Pattern matching was my thesis topic Here are some publications about it (the linked technical reports correspond exactly to the conference papers):

Constrained Polymorphisms

During an internship at Microsoft Research in Cambridge, I got to apply some Scala techniques to C#. Here is a publication that describes that work (which made it into C# 4.0 later).

Symbolic Execution

I hosted Stefan Bucur as intern on a project related to Cloud9. Our results were negative and although we wrote them up, they did not get published.