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

Tempus fugit.
LaBRI Cette page OUEB ainsi que sa feuille de style ont été validées par le service de validation du W3C, ce qui ne lui confère pas automatiquement une qualité de style ou de contenu, ces derniers n'étant pour autant que je sache pas simples à décrire à l'aide d'un procédé automatique simple. L'auteur est néanmoins parfaitement conscient du fait qu'écrire des bas de pages aussi petits est criminel et tient à vous prévenir que vous vous faites mal aux yeux en les lisant.
Date de dernière modification : 17 Février 2010
En cas de problème : M'écrire !
Université