Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | France |
|---|---|
| City | Cachan |
| Institution | Ecole Normale Superieure de Cachan |
| Institute | Departement d'Informatique |
Profile
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory |
|---|---|
| Keywords | proof of programms, static analysis, verification, model-checking |