Curriculum vit¾
DAGUE Philippe, 58 ans, franais
Professeur des Universits
Professeur d'informatique l'universit Paris-Sud 11 depuis
septembre 2005 (mutation),
auparavant l'universit Paris
13, Institut Galile, depuis septembre 1998
(mutation), en dlgation au CNRS
de septembre 1999 aot 2001, promu la classe exceptionnelle 1er chelon en octobre 2009
Nomm en octobre 1992 professeur
l'IUT de Villetaneuse (universit
Paris 13)
Bnficiaire de la PEDR depuis le 1er octobre 1994 sans
interruption
Ingnieur
de recherche au Centre Scientifique IBM France d'octobre 1983
fvrier 1992
Assistant
de Mathmatiques (octobre 1976 - janvier
1992) puis d'Informatique
(fvrier 1992 - septembre 1992)
Diplmes
- Ingnieur de
l'cole Centrale de Paris (1972)
-
Thse de 3me cycle en Physique
Thorique (1976)
-
Habilitation diriger des recherches,
spcialit Informatique (1992)
Thmes de recherche
- Raisonnement sur les systmes
physiques et applications des techniques de l'Intelligence Artificielle aux
Sciences de l'ingnieur.
- Diagnostic
base de modles et supervision de systmes dynamiques, discrets, continus ou
hybrides, matriels ou logiciels, centraliss ou distribus ; analyse
formelle de la diagnosticabilit des systmes vnements discrets ; diagnostic distribu pair pair. Applications : diagnostic de
pannes dans les circuits lectroniques analogiques, suivi de processus
volutifs, supervision de rseaux de tlcommunications, diagnosticabilit et
diagnostic en ligne de vhicules automobiles, diagnostic de satellites
autonomes, diagnosticabilit et monitorage de services Web coopratifs.
- Raisonnement qualitatif (modlisation des systmes physiques des fins
d'explication, de diagnostic ou de supervision, raisonnement aux ordres de
grandeur relatifs et base d'intervalles, modlisation 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
Confrences internationales de premier plan avec comit
de lecture et actes : 10 (+ 1 doublon)
Autres confrences internationales avec comit de
lecture et actes : 20
Invitation des confrences internationales avec actes
: 2
Workshops internationaux avec comit de lecture et
actes : 26 (dont 4 aussi en confs int.)
Confrences nationales avec comit de lecture et actes
: 1
Invitation des confrences nationales : 2
Workshops nationaux : 2
Livres (chapitres de) : 5 (dont 2 aussi comme co-rdacteur)
Rapports (ensembles de) : 17
Activits (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Õanne.
Coresponsable en 2004-2005 du cours dÕinformatique (programmation
imprative et langage C) en L1 (mise en place du LMD) et, ce titre, charg dÕun
des deux amphis toute lÕanne. Au premier semestre, charg de TD/TP et
coordinateur des 14 groupes de TD/TP.
TD/TP
de programmation imprative en DEUG
MIAS1 (1998-1999, 2001-2002, 2003-2004).
Cours
et TD/TP d'algorithmique en 1re
anne 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Õingnieurs IFIPS.
Cours-TP
de logique, calculabilit et complexit
en 2me anne (2008-2009), de calculabilit, classes de
complexit et logique et de logique
et Prolog en 1re anne
(2005-2007) du cycle tudiants de
la formation dÕingnieurs IFIPS.
TD/TP
de programmation logique en Licence (2001-2004) puis en formation dÕingnieurs ISPG 1re anne (2004-2005).
TD
dÕAlgo II.I (algorithmique sur les
structures linaires) en formation dÕingnieurs ISPG 1re anne en 2001-2002.
TD
de SPSD1 (Structures de Programmes et
Structures de Donnes) en Licence
en 1998-1999.
Cours
et TD du module d'Intelligence Artificielle
en Matrise en 1998-1999.
Cours
en M2R sur les fondements de
la reprsentation des connaissances
(2005-2009) et sur le diagnostic base de modles (2005-2006).
Cours
en DEA sur les formalismes
logiques pour la reprsentation des connaissances et le raisonnement en tronc commun (de 1995 2005) et sur le diagnostic
base de modles en option ( 4 reprises
entre 1995 et 2005).
Responsabilits administratives
Directeur du
dpartement Informatique de la formation dÕingnieurs IFIPS de Paris-Sud depuis juin 2006 (2 annes de cycle
prparatoire, 3 annes de cycle ingnieurs, 3 annes dÕapprentissage, 2 annes
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 fvrier 2007, membre lu
du conseil du LRI depuis fvrier 2006.
Reprsentant 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 dcembre 2008.
Responsable lu de janvier 1999 aot 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 Galile, 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 rentre 2000) de l'Ecole Doctorale Galile,
cohabilit entre Paris 13 et Paris 8, et de la formation doctorale en
Informatique de Paris 13.
Responsable de la
spcialit Informatique ILOG de la formation dÕingnieurs ISPG (en 3 ans) de Paris 13 en 2004-2005.
Prsident
de la commission de spcialistes 27e
section de l'Universit Paris 13
en 2004-2005 (vice-prsident
depuis 2001 et membre titulaire lu depuis 1993). Membre supplant de celle de
lÕuniversit Paris 9 Dauphine
depuis avril 2004. Membre nomm de celle de Nouvelle Caldonie (sections 25-26-27) depuis avril 2007. Membre
supplant, 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 Galile de 2000 2005.
Membre
de janvier 1999 aot 2005 du conseil du LIPN et du bureau du dpartement 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 Sret de Fonctionnement du Dpartement
ST2I du CNRS depuis novembre 2005.
Expert
la DSPT4 (section 4.0 : Informatique) de
janvier 1996 janvier 1998.
Projets industriels europens
Projet
Brite-EuRam III VMBD (ŅVehicle Model-Based DiagnosisÓ) d'une dure 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 universits d'Aberystwyth, de Turin et de
Paris 13, et qui a abouti la conception de systmes de diagnostic de pannes
embarqus et dbarqus pour les automobiles, utilisant des techniques d'I.A.
Projet 5me
PCRDT IDD (ŅIntegrated Design process for on-board DiagnosisÓ) dÕune dure 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 universits de Munich, de Turin et de Paris 13.
LÕobjectif tait de prendre en compte les impratifs du diagnostic et lÕtude
de la diagnosticabilit des quipements ds la phase de conception, en
dveloppant des interfaces entre les outils de CAO ou de simulation numrique
et les systmes de diagnostic base de modles.
Projet 6me PCRDT FET Open WS-DIAMOND (ŅWeb Services
– DIAgnosability, MONitoring and DiagnosisÓ) dÕune dure de 34 mois
(1/09/2005 – 30/06/2008), dont les partenaires taient les universits 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 rparation en ligne des
services Web, dÕautre part de dvelopper des mthodes dÕanalyse de la
diagnosticabilit et de la rparabilit de ces services afin dÕaider la
conception de services auto-rparables.
Projets industriels franais
Deux
contrats CNET successifs d'une dure de 3
ans (novembre 1993 - octobre 1996 et
novembre 1997 - octobre 2000) sur la Supervision et le Diagnostic de Rseaux de
Tlcommunications, en collaboration avec lÕIRISA.
Deux
contrats RNRT (Rseau National de Recherche en Tlcommunications) exploratoires successifs : MAGDA d'une dure de 36 mois (novembre 1998 - novembre 2001) sur la Modlisation
et l'Apprentissage pour une Gestion Distribue des Alarmes, puis MAGDA2 dÕune dure de 24 mois (novembre 2001 – novembre 2003) sur la gestion
de bout en bout, avec lÕINRIA/IRISA, France Tlcom 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 dbouch 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
thse 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 runi 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 Systmes Aroports, ex Thomson-CSF Detexis, (1/09/2000 – 31/12/2000) sur lÕutilisation
dÕagents autonomes pour la conception de systmes complexes.
Contrat
RNTL (Rseau National de recherche et dÕinnovation en Technologies Logicielles)
prcomptitif RESEDA dÕune dure de 42 mois (06/2001 – 11/2004) sur la Ralisation dÕun
Environnement Systme 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 dure de 44
mois (01/2006 – 08/2009) sur le
Diagnostic de Fonctions Rparties, avec Renault Trucks, Serma Ingnierie, le
CEA et lÕUTC, dans le cadre de Num@tec
Automotive.
Contrat
FRAE (Fondation de Recherche pour lÕAronautique et lÕEspace) SIRASAS dÕune dure de 3 ans (10/2007 – 09/2010) sur le dveloppement de
Stratgies Innovantes et Robustes pour lÕAutonomie des Systmes Aronautiques
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 Rseau d'excellence europen MONET (Ē Model Based Systems and
Qualitative Reasoning Č), la
cration duquel (octobre 1996) j'ai particip et membre de MONET II (plus particulirement des deux actions Automotive et BRIDGE),
dont la demande de renouvellement comme suite de MONET a t accepte en
dcembre 2001.
Programme d'actions intgres franco-italien
Galile pendant 2 ans
(1996 - 1997) avec l'universit d'Udine.
Collaborations avec les
universits de Turin, de Sherbrooke
et de Concordia (Canada), d'Aberystwyth au pays de Galles, de Munich et d'Udine en Italie (accord de coopration dans le cadre SOCRATES avec cette dernire pour 1999-2002).
Groupes de travail franais
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,
ŅModlisation Qualitative et DcisionÓ,
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, ŅIntgration de Modles 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 thme Intelligence Artificielle Fondamentale du GDR I3
(depuis janvier 2007)
Encadrement
Directeur
de 6 thses 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 thse disposant dÕune bourse
du CNES, galement soutenue.
A
l'heure actuelle, directeur de 4 thses
(dont 2 co-encadres 65% par des collgues MCF et 1 20% par un chercheur du
CEA et 55% par un industriel), dont 2 bnficiant dÕune allocation de
recherche, 1 finance sur le contrat
WS-DIAMOND puis DIAFORE et 1 CIFRE.
Encadrant
de 11 post-docs depuis 1997 (dont 1
actuellement) pour des dures de six mois deux ans, lÕun dans le cadre dÕune bourse
europenne ERCIM et les autres dans le
cadre des projets europens VMBD, IDD, WS-DIAMOND et des projets nationaux
MAGDA, RESEDA, DIAFORE et SIRASAS.
Jurys de thses
Rapporteur de 27 thses et 5
HDR et membre de jury de 29 thses et 5 HDR.
Comits dÕvaluation
Membre
des comits dÕvaluation des programmes SESUR (Scurit et Sret
informatique) en 2007, ARPEGE
(Systmes Embarqus et Grandes Infrastructures) en 2008 et 2009, et Blanc et Jeunes Chercheurs en 2009 de lÕANR.
Comits de programme
Membre
du comit de programme de 41 confrences internationales et 12 confrences nationales.
Comits de lecture
Membre
depuis 1993 du comit de lecture, puis
depuis 1999 du nouveau comit ditorial, de la Revue d'Intelligence Artificielle chez Herms et lecteur d'articles dans de nombreuses confrences et revues
internationales.