Je suis actuellement MdC. Je fais ma recherche au Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) dans l'équipe PaMDA.

---

I.I.I.A - Université d'Orléans
4, Rue Léonard de Vinci, BP 6759
45067 ORLEANS Cedex 2
FRANCE
Tel : (33) 02 38 41 72 99     Fax : (33) 02 38 41 71 37

Vous pouvez m'écrire par email : Jacques.Chabin(at)univ-orleans.fr

---

En recherche, mes centres d'intérêts sont la réécriture, la déduction automatique, les preuves de théorèmes, la conception de circuits par des méthodes de réécriture et dernièrement les langages d'arbres.

Je fais mes enseignements au département informatique de l'IUT d'Orléans.

---

IUT ORLEANS
Rue d'Issoudin BP 6729
45067 ORLEANS Cedex 2
FRANCE
Tel : (33) 02 38 49 44 64    Fax : (33) 02 38 49 44 61