Fabien DAGNAT

Fabien DAGNAT


Enseignant-chercheur

Dépt. Informatique

Téléphone : 02 29 00 14 09
Télécopie : 02 29 00 12 82
Courriel : fabien.dagnat@telecom-bretagne.eu
TELECOM Bretagne
Vue aérienne

Bref historique

Un bon résumé de mes activités d'enseignements et de recherche peut être trouvé dans mon de candidature à l'appelation de Maître de conférences du GET/ENST Bretagne qui a eu lieu le 14 novembre 2003 (dossier et presentation).

ENST Bretagne / LIT

Depuis septembre 2002, travaux au sein du Laboratoire d'Informatique des Télécommunications de l'ENST de Bretagne.

IUT de Toulouse 3 / IRIT

De mai 2001 à septembre 2002, travaux post thèse à l'ENSEEIHT-IRIT en étant ATER à l'IUT de Toulouse 3. Durant cette période, j'ai poursuivi mes travaux de thèse et je me suis interessé au typage des objets. Dans ce cadre, une publication a été réalisée ainsi que des présentations :
  • Formalisation d'Activités Concurrentes 2002, Fabien Dagnat, Marc Pantel et Patrick Sallé. Vers un erlang Typé ? pdf
  • Séminaire sur mes activités de recherche présenté à Verimag (Grenoble) et à l'IRISA (Rennes), pdf

ENSEEIHT / IRIT

D'octobre 1997 à mai 2001, j'ai réalisé une thèse dans la continuité des travaux de Jean-Louis Colaço au sein de l'équipe vestale de l'ENSEEIHT/IRIT. Notre objectif initial était de construire des outils d'analyse statique de programmes répartis écrits dans des langages de types acteurs.

Au dela de ML-Act (le langage de laboratoire que nous avons developpé), nous avons souhaité adapter nos methodes d'analyse à ERLANG (langage développé par Ericsson).

Une mon manuscrit de thèse est disponible en pdf. Les transparents de ma soutenance sont disponible en version imprimable en pdf. Dans le cadre de ces travaux, plusieurs publications et présentations ont été réalisées :
  • Formal Methods For Open Object Distributed Systems 1999, Jean-Louis Colaço, Marc Pantel, Fabien Dagnat et Patrick Sallé, Static safety analysis for non-uniform service availability in Actors pdf
  • Journées Francophones des Langages Applicatifs 1999, Matthias Colin, Marc Pantel, Fabien Dagnat et Patrick Sallé, Intégration des Typages Fonctionnel et Concurrent d'un Langage Fonctionnel d'Acteurs pdf
  • L'Objet : Méthodes formelle pour les Objets Vol 6 n°1/2000, Fabien Dagnat, Marc Pantel, Matthias Colin et Patrick Sallé, Typing Concurrent Objects and Actors pdf
  • Formalisation d'Activités Concurrentes 1999, Matthias Colin, Marc Pantel, Fabien Dagnat et Patrick Sallé, Analyses statiques fonctionnelles et concurrentes sur un langage d'acteurs
  • Présentation pour la journée Parallélisme, Répartition et Objets 2001 de l'action transversale des PRC-GDR ALP et ARP

De septembre 1996 à septembre 1997, j'ai réalisé mon stage de DEA au sein de l'ENSEEIHT-IRIT. Le stage a été consacré à la conception d'un langage mélangeant les concepts de la programmation fonctionnelle à la ML et la programmation par Acteurs [Hewitt et Agha].

Un prototype de compilateur a été réalisé. Celui-ci type la partie fonctionnelle classiquement (à la ML) et utilise un calcul d'effet [Talpin] pour extraire un terme du calcul CAP. Nous utilisons ensuite des analyses statiques définies par Jean-Louis Colaço dans le cadre de sa thèse.

Mon rapport de DEA est disponible en pdf. Dans la poursuite de mes travaux de DEA, j'ai présenté une analyse du point d'avancement ainsi que des futurs développements du projet ML-Act au cours des Journées Francophones des Langages Applicatifs 1998. Cette présentation est disponible : pdf.
Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00