Recherche

Voici un extrait de la dernière version de mon Curriculum-Vitae (rédigé en février 1997, pour une demande de promotion). Il comprend deux parties couvrant la période avant 1993 et celle située après 1993.

Activités de recherche

NB : dans tout ce qui suit et dans la mesure du possible, l'ordre chronologique sera adopté. Dans un souci de clarté, d'autre part, seuls les principaux éléments seront cités.

1) Activités de recherche menées à Lannion (avant 1993)

Mes activités de recherche ont été menées au sein du département Applications de l'Intelligence artificielle, du CNET à Lannion. Elles avaient trait aux systèmes multi-experts. Elles m'ont conduit aux principaux résultats suivants :

- travaux :

- participations :

- encadrement étudiants :

- à 100%

- publications :

- rapports de recherche : 3, en 1980 (1), 1983 (1) et 1984 (1)

- articles (publiés) :

2) Activités de recherche menées à Nantes (de 1993 à 1997)

Mes activités de recherche ont été menées, durant ce laps de temps, au sein de l'équipe Génie logiciel, Méthodes et spécifications formelles de l'Institut de Recherche en Informatique de Nantes.

- travaux :

Durant ce laps de temps, un certain nombre de thèmes sont ou ont été abordés :

- participations diverses :

- encadrement d'étudiants :

- à 100%

- à 25%

- publications :

- rapports de recherche : 6, 1993 (1), 1994 (1), 1995 (2), 1996 (2)

- articles (publiés dans des congrès avec comité de lecture) :

- participation au groupe AFCET Logiciels Zéro-défaut, conférence