Pierre Ganty has joined IMDEA as Assistant Research Professor. In September 2007, Pierre received his PhD degree from the Université Libre de Bruxelles. Before joining IMDEA, he held a postdoc position at UCLA (University of Los Angeles, California). His research interest are (no order) verification of systems with infinitely many states; abstraction refinement techniques for verification; bounded analysis techniques; logic and automata theory; algorithms and tools for the design and verification of reactive and distributed systems; program analysis; and formal models for distributed systems: petri nets.