Anindya Banerjee will be joining IMDEA-Software in December 2008. Formerly Full Professor in the Dept. of Computing and Information Sciences at Kansas State U., during 2007–2008 he was visiting researcher at the Programming Languages and Methodology group at Microsoft Research, Redmond, on sabbatical leave from KSU.