Pierre Ganty se ha incorporado a IMDEA como Assistant Research Professor. En Septiembre de 2007, Pierre recibió su doctorado por la Universidad Libre de Bruselas. Antes de incorporarse a IMDEA, realizó un postdoctorado en UCLA (University Los Angeles, California). Sus lineas de investigación son (sin orden): verificación de sistemas con infinitos estados; técnicas de abstractas de refinamiento para verificación; técnicas de análisis acotado; lógica y teoría de autómatas; algoritmos y herramientas para el diseño y verificación de sistemas reactivos y distribuidos; análisis de programas; y métodos formales para sistemas distribuidos: redes de petri.
