Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | France |
|---|---|
| City | Paris Cedex 13 |
| Institution | Universite Paris Cite |
| Institute | Institut de Recherche en Informatique Fondamental (IRIF) |
Profile
| Research fields | Theoretical Computer Science |
|---|---|
| Keywords | Infinite-state systems, Formal verification, Model checking, Automata theory, Concurrent program verification |