As of 05/2011, I'm a postdoc at CWI Amsterdam. Please visit my new homepage there.