IMDEA Software

Iniciativa IMDEA

Inicio > Personal

Pierre Ganty

PhD - Université Libre de Bruxelles, Bélgica

Associate Research Professor

Pierre Ganty
Instituto IMDEA Software

Office: 356
Telephone: +34-91-101-2202 ext 4106
Email: Pierre Ganty e-mail
Página web: http://software.imdea.org/~pierreganty/index.html

Intereses de Investigación

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.