Available nodes
General links
Présentation
| Fonction actuelle : | Maître de conférences à l'ENSEIRB depuis septembre 2005. |
| Chercheur au LaBRI sur les thèmes des graphes, de la logique et des groupes. | |
| Equipe principale : | Méthodes formelles |
| Thème principal : | Logique, Graphes et Langages |