Mes activités de Recherche
- Je participe au projet SAT4J sur la
résolution de contraintes pseudo-booléennes animé
par Daniel Le Berre, avec Lakhdar Saïs et Olivier Roussel.
- 1990 - 1998 : membre de l'équipe METHEOL du Laboratoire d'Informatique
Fondamentale de Lille (thème : Programmation Logique).