Lambda the Ultimate

I am a software engineer at Google in Munich, Germany. Previously I was at Google in Mountain View, and before Google I was a member of Sun Labs in Menlo Park working on the Maxine VM. I received my PhD in Computer Science from UCLA in August 2007 under the supervision of Jens Palsberg and my Bachelor's from Purdue University in May of 2002.

Compilers, programming languages; object-oriented languages for embedded systems. Strong static type systems. Parametric types and variance.