IMDEA Software

IMDEA initiative

Home > People

Pierre Ganty

PhD - Université Libre de Bruxelles, Belgium

Associate Research Professor

Pierre Ganty
IMDEA Software Institute

Office: 356
Telephone: +34-91-101-2202 ext 4106
Email: Pierre Ganty e-mail
Home Page:

Research Interests

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. Formal models for distributed systems: Petri nets.