Lambda the Ultimate

I am a software engineer at Google in Mountain View, CA. Previously I was a member of Sun Labs in Menlo Park where I was a core member of the Maxine VM team. 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.