Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | France |
|---|---|
| City | Montbonnot-Saint-Martin |
| Institution | Institut National de Recherche en Informatique et en Automatique (INRIA) |
| Institute | INRIA Grenoble - Rhone-Alpes |
Profile
| Research fields | Theoretical Computer Science,Computer Architecture, Embedded and Massively Parallel Systems |
|---|---|
| Keywords | Computer-aided verification, Concurrency theory, Performance evaluation, Process calculi, Programming languages and compilers |