Rapide Curriculum Vitæ de Christian Retoré (janvier 2011)


Voir aussi:

Situation Je suis né en 1964, et j'ai suivi des études mathématiques pures aux universités Paris 6 (licence et maîtrise) et Paris 7 (DEA et thèse) conclues en 1993 par un doctorat dirigé par Jean-Yves Girard. J'ai été ATER en mathématiques pures à l'université d'Angers et post-doctorant à l'INRIA Sophia-Antipolis, avant d'être recruté en 1994 comme chargé de recherche à l'INRIA-Lorraine (LORIA). J'ai ensuite été chargé de recherche à l'INRIA-Rennes (IRISA) de 1997 à 2000, en détachement maître de conférences en informatique à l'université de Nantes de 2000 à 2002, où j'ai soutenu une habilitation à diriger des recherches en informatique. Arrivé à Bordeaux durant l'été 2002 comme chargé de recherche INRIA, j'ai monté l'équipe-projet Signes de l'INRIA Futurs commune avec le LaBRI (CNRS et université de Bordeaux) et en 2003 je suis devenu professeur d'informatique à l'université Bordeaux 1 où j'ai été suis responsable du master Algorithmes et méthodes formelles de 2006 à 2010.

Sujets de recherche

Aspects factuels

 

 

http://www.labri.fr/perso/retore
Lundi 10 Janvier, 2011 2:17