IMDEA Software

IMDEA initiative

Home > News > 2009 > Pierre Ganty joins the Institute

September 1, 2009

Pierre Ganty joins the Institute

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.