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 |