Philippe Dague's Website
| Responsabiliés | Synthèse | contact | english | home |    

Curriculum vit¾

 

DAGUE Philippe, 58 ans, franais

 

Professeur des UniversitŽs

Professeur d'informatique ˆ l'universitŽ Paris-Sud 11 depuis septembre 2005 (mutation),

auparavant ˆ l'universitŽ Paris 13, Institut GalilŽe, depuis septembre 1998 (mutation), en dŽlŽgation au CNRS de septembre 1999 ˆ aožt 2001, promu ˆ la classe exceptionnelle 1er Žchelon en octobre 2009

NommŽ en octobre 1992 professeur ˆ l'IUT de Villetaneuse (universitŽ Paris 13)

BŽnŽficiaire de la PEDR depuis le 1er octobre 1994 sans interruption

 

      IngŽnieur de recherche au Centre Scientifique IBM France d'octobre 1983 ˆ fŽvrier 1992

 

      Assistant de MathŽmatiques (octobre 1976 - janvier 1992) puis d'Informatique (fŽvrier 1992 - septembre 1992)

 

Dipl™mes

 

     - IngŽnieur de l'ƒcole Centrale de Paris (1972)

     - Thse de 3me cycle en Physique ThŽorique (1976)

     - Habilitation ˆ diriger des recherches, spŽcialitŽ Informatique (1992)

 

Thmes de recherche

 

 - Raisonnement sur les systmes physiques et applications des techniques de l'Intelligence Artificielle aux Sciences de l'ingŽnieur.

- Diagnostic ˆ base de modles et supervision de systmes dynamiques, discrets, continus ou hybrides, matŽriels ou logiciels, centralisŽs ou distribuŽs ; analyse formelle de la diagnosticabilitŽ des systmes ˆ ŽvŽnements discrets ; diagnostic distribuŽ pair ˆ pair. Applications : diagnostic de pannes dans les circuits Žlectroniques analogiques, suivi de processus Žvolutifs, supervision de rŽseaux de tŽlŽcommunications, diagnosticabilitŽ et diagnostic en ligne de vŽhicules automobiles, diagnostic de satellites autonomes, diagnosticabilitŽ et monitorage de services Web coopŽratifs.

  - Raisonnement qualitatif (modŽlisation des systmes physiques ˆ des fins d'explication, de diagnostic ou de supervision, raisonnement aux ordres de grandeur relatifs et ˆ base d'intervalles, modŽlisation fonctionnelle, causale et temporelle).

 

 

Travaux – ouvrages – articles

 

Revues internationales avec comitŽ de lecture : 3

Journaux internationaux avec comitŽ de lecture : 2

Revues nationales avec comitŽ de lecture : 3

ConfŽrences internationales de premier plan avec comitŽ de lecture et actes : 10 (+ 1 doublon)

Autres confŽrences internationales avec comitŽ de lecture et actes : 20

Invitation ˆ des confŽrences internationales avec actes : 2

Workshops internationaux avec comitŽ de lecture et actes : 26 (dont 4 aussi en confs int.)

ConfŽrences nationales avec comitŽ de lecture et actes : 1

Invitation ˆ des confŽrences nationales : 2

Workshops nationaux : 2

Livres (chapitres de) : 5 (dont 2 aussi comme co-rŽdacteur)

Rapports (ensembles de) : 17

 

 

ActivitŽs (depuis octobre 1992)

 

Enseignement

                                                                                                                                                                       

      Coresponsable en 2005-2006 du cours dÕintroduction ˆ lÕinformatique en L1-S1 et, ˆ ce titre, chargŽ dÕun des deux amphis et coordinateur des 8 groupes de TD/TP. ChargŽ de TD/TP dÕalgorithmique et langage C toute lÕannŽe.

      Coresponsable en 2004-2005 du cours dÕinformatique (programmation impŽrative et langage C) en L1 (mise en place du LMD) et, ˆ ce titre, chargŽ dÕun des deux amphis toute lÕannŽe. Au premier semestre, chargŽ de TD/TP et coordinateur des 14 groupes de TD/TP.

      TD/TP de programmation impŽrative en DEUG MIAS1 (1998-1999, 2001-2002, 2003-2004).

      Cours et TD/TP d'algorithmique en 1re annŽe de l'IUT de 1992 ˆ 1998 : coresponsable du cours, avec Pascal comme langage cible, jusqu'en 1997, et responsable de la partie du cours en langage C en 1997.

      TD de calculabilitŽ en DEUG MIAS2 (2001-2005) et cours en amphi en 2003-2004.

      Cours, TD et TP dÕalgorithmique et langage C en cycle formation continue (2008-2009) et en cycle apprentis (2007-2008) de la formation dÕingŽnieurs IFIPS.

      Cours-TP de logique, calculabilitŽ et complexitŽ en 2me annŽe (2008-2009), de calculabilitŽ, classes de complexitŽ et logique et de logique et Prolog en 1re annŽe (2005-2007) du cycle Žtudiants de la formation dÕingŽnieurs IFIPS.

      TD/TP de programmation logique en Licence (2001-2004) puis en formation dÕingŽnieurs ISPG 1re annŽe (2004-2005).

      TD dÕAlgo II.I (algorithmique sur les structures linŽaires) en formation dÕingŽnieurs ISPG 1re annŽe en 2001-2002.

      TD de SPSD1 (Structures de Programmes et Structures de DonnŽes) en Licence en 1998-1999.

      Cours et TD du module d'Intelligence Artificielle en Ma”trise en 1998-1999.

      Cours en M2R sur les fondements de la reprŽsentation des connaissances (2005-2009) et sur le diagnostic ˆ base de modles (2005-2006).

      Cours en DEA sur les formalismes logiques pour la reprŽsentation des connaissances et le raisonnement en tronc commun (de 1995 ˆ 2005) et sur le diagnostic ˆ base de modles en option (ˆ 4 reprises entre 1995 et 2005).

 

ResponsabilitŽs administratives

 

     Directeur du dŽpartement Informatique de la formation dÕingŽnieurs IFIPS de Paris-Sud depuis juin 2006 (2 annŽes de cycle prŽparatoire, 3 annŽes de cycle ingŽnieurs, 3 annŽes dÕapprentissage, 2 annŽes de formation continue), membre Žlu du conseil dÕadministration et nommŽ du conseil de direction et du conseil de perfectionnement de lÕIFIPS.

     Directeur adjoint du LRI depuis le 15 fŽvrier 2007, membre Žlu du conseil du LRI depuis fŽvrier 2006.

     ReprŽsentant du LRI au comitŽ des programmes du RTRA Digiteo, depuis janvier 2008.

     Membre Žlu du Conseil de la Recherche de la FacultŽ des Sciences dÕOrsay depuis dŽcembre 2008.

     Responsable Žlu de janvier 1999 ˆ aožt 2005 de la nouvelle Žquipe Apprentissage, Diagnostic et Agents du LIPN, qui regroupait en 2005 2 PR, 7 MCF et 10 doctorants.

     Directeur adjoint de lÕinstitut GalilŽe, en charge des relations internationales et industrielles, de 2002 ˆ 2005.

     Responsable de septembre 1995 ˆ septembre 2005 du DEA Intelligence Artificielle (devenu DEA Intelligence Artificielle et Optimisation Combinatoire ˆ la rentrŽe 2000) de l'Ecole Doctorale GalilŽe, cohabilitŽ entre Paris 13 et Paris 8, et de la formation doctorale en Informatique de Paris 13.

     Responsable de la spŽcialitŽ Informatique ILOG de la formation dÕingŽnieurs ISPG (en 3 ans) de Paris 13 en 2004-2005.

      PrŽsident de la commission de spŽcialistes 27e section de l'UniversitŽ Paris 13 en 2004-2005 (vice-prŽsident depuis 2001 et membre titulaire Žlu depuis 1993). Membre supplŽant de celle de lÕuniversitŽ Paris 9 Dauphine depuis avril 2004. Membre nommŽ de celle de Nouvelle CalŽdonie (sections 25-26-27) depuis avril 2007. Membre supplŽant, jusquÕen 2000, de celles de l'UniversitŽ Paris 11 et de l'UniversitŽ de Savoie. Membre de la commission mixte IFIPS en 2007 et 2008.

      Membre invitŽ, puis Žlu, du conseil de lÕinstitut GalilŽe de 2000 ˆ 2005.

      Membre de janvier 1999 ˆ aožt 2005 du conseil du LIPN et du bureau du dŽpartement dÕinformatique.

      Membre de 1993 ˆ 1998 du conseil d'institut et du conseil restreint de l'IUT de Villetaneuse.

      Membre du ComitŽ dÕExperts Diagnostic et SžretŽ de Fonctionnement du DŽpartement ST2I du CNRS depuis novembre 2005.

      Expert ˆ la DSPT4 (section 4.0 : Informatique) de janvier 1996 ˆ janvier 1998.

 

Projets industriels europŽens

 

Projet Brite-EuRam III VMBD (ŅVehicle Model-Based DiagnosisÓ) d'une durŽe de 3 ans (1/02/1996 - 31/03/1999), dont les partenaires Žtaient Daimler-Benz (coordinateur), Bosch, Volvo, CRF (Fiat), Magneti-Marelli, Genrad, Dassault ƒlectronique et les universitŽs d'Aberystwyth, de Turin et de Paris 13, et qui a abouti ˆ la conception de systmes de diagnostic de pannes embarquŽs et dŽbarquŽs pour les automobiles, utilisant des techniques d'I.A.

Projet 5me PCRDT IDD (ŅIntegrated Design process for on-board DiagnosisÓ) dÕune durŽe de 3 ans (1/02/2000 – 31/01/2003), dont les partenaires Žtaient CRF (Fiat, coordinateur), Daimler-Chrysler, PSA, Renault, Magneti-Marelli, OCCÕM et les universitŽs de Munich, de Turin et de Paris 13. LÕobjectif Žtait de prendre en compte les impŽratifs du diagnostic et lՎtude de la diagnosticabilitŽ des Žquipements ds la phase de conception, en dŽveloppant des interfaces entre les outils de CAO ou de simulation numŽrique et les systmes de diagnostic ˆ base de modles.

Projet 6me PCRDT FET Open WS-DIAMOND (ŅWeb Services – DIAgnosability, MONitoring and DiagnosisÓ) dÕune durŽe de 34 mois (1/09/2005 – 30/06/2008), dont les partenaires Žtaient les universitŽs de Turin (coordinateur), polytechnique de Milan, Vrije dÕAmsterdam, de Klagenfurt, Rennes 1, Paris-Sud 11 et le LAAS-CNRS. Il sÕagissait dÕune part de concevoir et dÕimplanter des algorithmes de diagnostic et rŽparation en ligne des services Web, dÕautre part de dŽvelopper des mŽthodes dÕanalyse de la diagnosticabilitŽ et de la rŽparabilitŽ de ces services afin dÕaider ˆ la conception de services auto-rŽparables.

 

Projets industriels franais

 

Deux contrats CNET successifs d'une durŽe de 3 ans (novembre 1993 - octobre 1996 et novembre 1997 - octobre 2000) sur la Supervision et le Diagnostic de RŽseaux de TŽlŽcommunications, en collaboration avec lÕIRISA.

Deux contrats RNRT (RŽseau National de Recherche en TŽlŽcommunications) exploratoires successifs : MAGDA d'une durŽe de 36 mois (novembre 1998 - novembre 2001) sur la ModŽlisation et l'Apprentissage pour une Gestion DistribuŽe des Alarmes, puis MAGDA2 dÕune durŽe de 24 mois (novembre 2001 – novembre 2003) sur la gestion de bout en bout, avec lÕINRIA/IRISA, France TŽlŽcom R&D, Alcatel et ILOG.

Consultant pour le CNES (15/12/1998 - 15/03/1999) dans le cadre dÕun dossier exploratoire sur le diagnostic de satellites autonomes. Ce travail a dŽbouchŽ sur une collaboration entre le LIPN et le LAAS-CNRS dÕune part, le CNES et Astrium dÕautre part, sous la forme dÕune bourse de thse de 3 ans ˆ compter du 1/10/1999 et dÕune Žtude sur lÕarchitecture logicielle pour les satellites autonomes (01/06/2001 – 30/11/2001).

Sous-contractant du LAAS-CNRS (1/06/2000 – 31/01/2002) dans le cadre du contrat de lÕESA ŅAutonomy requirements and technologies for future constellations of satellitesÓ qui a rŽuni Astrium, le CERT-Onera et le LAAS-CNRS, en charge de lՎtude sur ŅCharacterization of FDIR (Fault Detection, Isolation and Recovery) Component TechnologiesÓ.

Contrat avec Thales Systmes AŽroportŽs, ex Thomson-CSF Detexis, (1/09/2000 – 31/12/2000) sur lÕutilisation dÕagents autonomes pour la conception de systmes complexes.

Contrat RNTL (RŽseau National de recherche et dÕinnovation en Technologies Logicielles) prŽcompŽtitif RESEDA dÕune durŽe de 42 mois (06/2001 – 11/2004) sur la RŽalisation dÕun Environnement Systme Evolutif pour le Diagnostic Automobile, avec Renault, Trialog et Silicomp.

Contrat ANR PREDIT (Programme de recherche et dÕinnovation dans les transports terrestres) DIAFORE dÕune durŽe de 44 mois (01/2006 – 08/2009) sur le Diagnostic de Fonctions RŽparties, avec Renault Trucks, Serma IngŽnierie, le CEA et lÕUTC, dans le cadre de Num@tec Automotive.

Contrat FRAE (Fondation de Recherche pour lÕAŽronautique et lÕEspace) SIRASAS dÕune durŽe de 3 ans (10/2007 – 09/2010) sur le dŽveloppement de StratŽgies Innovantes et Robustes pour lÕAutonomie des Systmes AŽronautiques et Spatiaux, avec lÕIMS ˆ Bordeaux I, le CRAN ˆ Nancy I, le SATIE ˆ lÕENS Cachan, le LAAS-CNRS, lÕONERA, le CNES et Airbus ˆ Toulouse et Thales Alenia Space ˆ Cannes.

 

Collaborations universitaires internationales

 

      Membre du comitŽ de recherche du RŽseau d'excellence europŽen MONET (Ē Model Based Systems and Qualitative Reasoning Č), ˆ la crŽation duquel (octobre 1996) j'ai participŽ et membre de MONET II (plus particulirement des deux actions Automotive et BRIDGE), dont la demande de renouvellement comme suite de MONET a ŽtŽ acceptŽe en dŽcembre 2001.

      Programme d'actions intŽgrŽes franco-italien GalilŽe pendant 2 ans (1996 - 1997) avec l'universitŽ d'Udine.

     Collaborations avec les universitŽs de Turin, de Sherbrooke et de Concordia (Canada), d'Aberystwyth au pays de Galles, de Munich et d'Udine en Italie (accord de coopŽration dans le cadre SOCRATES avec cette dernire pour 1999-2002).

 

Groupes de travail franais

 

      Membre du groupe de travail ŅGestion de l'Incertain et de l'EvolutifÓ de l'inter-PRC I.A. et BD (1993 et 1994).

      Coresponsable du groupe de recherche MQ&D, ŅModŽlisation Qualitative et DŽcisionÓ, commun au GDR Automatique et au PRC-GDR I.A (1991 ˆ 1996).

      Membre fondateur du groupe de travail ŅAlarmesÓ du PRC-GDR I.A (mi-1995 ˆ mi-1997).

      Membre fondateur du groupe de travail IMALAIA, ŅIntŽgration de Modles ALliant l'Automatique et l'Intelligence ArtificielleÓ du GDR Automatique et du PRC-GDR I3 (fin 1997 ˆ fin 2005).

      Membre de lՎquipe dÕanimation du thme Intelligence Artificielle Fondamentale du GDR I3 (depuis janvier 2007)      

 

Encadrement

 

      Directeur de 6 thses dont une d'une Žtudiante allemande dans le cadre Capital Humain et MobilitŽ, deux dans le cadre de contrats CNET, une CIFRE et une disposant dÕune bourse de lÕIGN, toutes 6 soutenues (3 encadrements ˆ 100% et 3 ˆ 20%). Co-encadrant ˆ 35% dÕune thse disposant dÕune bourse du CNES, Žgalement soutenue.

      A l'heure actuelle, directeur de 4 thses (dont 2 co-encadrŽes ˆ 65% par des collgues MCF et 1 ˆ 20% par un chercheur du CEA et 55% par un industriel), dont 2 bŽnŽficiant dÕune allocation de recherche, 1 financŽe sur le contrat WS-DIAMOND puis DIAFORE et 1 CIFRE.

      Encadrant de 11 post-docs depuis 1997 (dont 1 actuellement) pour des durŽes de six mois ˆ deux ans, lÕun dans le cadre dÕune bourse europŽenne ERCIM et les autres dans le cadre des projets europŽens VMBD, IDD, WS-DIAMOND et des projets nationaux MAGDA, RESEDA, DIAFORE et SIRASAS.

 

Jurys de thses

 

      Rapporteur de 27 thses et 5 HDR et membre de jury de 29 thses et 5 HDR.

 

ComitŽs dՎvaluation

 

       Membre des comitŽs dՎvaluation des programmes SESUR (SŽcuritŽ et SžretŽ informatique) en 2007, ARPEGE (Systmes EmbarquŽs et Grandes Infrastructures) en 2008 et 2009, et Blanc et Jeunes Chercheurs en 2009 de lÕANR.

 

ComitŽs de programme

 

      Membre du comitŽ de programme de 41 confŽrences internationales et 12 confŽrences nationales.

 

ComitŽs de lecture

 

      Membre depuis 1993 du comitŽ de lecture, puis depuis 1999 du nouveau comitŽ Žditorial, de la Revue d'Intelligence Artificielle chez Herms et lecteur d'articles dans de nombreuses confŽrences et revues internationales.