After almost two great years as a postdoc fellow at INRIA (now Inria) Rennes – Bretagne Atlantique (located in the beautiful French Britanny) within the VerTeCs team, I have moved back to Grenoble.
I get an associate professor position at Grenoble University (University Joseph Fourier) and I am doing my research at LIG – Laboratoire d’Informatique de Grenoble (Computer Science Lab of Grenoble). I am associated to the VASCO team whose speciliaties include software validation (and more particularly testing).
More stuff is forthcoming.