Hi, my name is Jan and I've been a graduate student for n years. You can find out what I've been up to here (research). I work with Ranjit Jhala, and Sorin Lerner, in the Programming Systems group.