PhD - Universidad Libre de Bruselas, Bélgica
Associate Research Professor
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.