Pierre Ganty

PhD - Université Libre de Bruxelles, Belgium

Associate Research Professor

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.