I'm a compiler engineer and programming languages researcher. I have a PhD computer science. My areas of expertise are programming language design, specification, and implementation; domain-specific languages; functional programming; type systems; and software product lines. I also have some expertise in game theory and linguistics, which are side interests of mine, and which I've used in my programming languages work.

Some links: