Alexandre Genadot

Maître de conférences au sein de l’Institut de Mathémathiques de Bordeaux (IMB).

Membre de l’équipe-projet CQFD de INRIA Bordeaux-Sud-Ouest.

e-mail : alexandre.genadot at u-bordeaux.fr.

Boite aux lettres :
Institut de Mathématiques de Bordeaux
351, cours de la libération
33405 Talence cedex
France