Christophe Gaston is a researcher at CEA-LIST. He obtained a PhD in 2002, at the University of Evry in France. His research interest concerns formal treatment of complex systems, using algebraic or symbolic approaches. In particular he works on the subject of conformance model based testing and simulation for reactive communicating systems. In this field of research, he mainly works on symbolic based approach whose central motivation is to reduce state explosion problems when analysing models.