L’air de rien No 22Spécial Rentrée

L’aléastriel du Laboratoire de Recherche et de Développement de l’EPITA 1 Numéro 22, Septembre 2011

Éditopar Olivier Ricou (Enseignant-Chercheur)

2011 année 1. Cette année le LRDE a publié sonpremier rapport d’activité, un joli document de 50pages qui résume plus de 10 ans de recherche faiteau LRDE. Ce document sera publié sur le site duLRDE dès que quelques grands pontes l’auront va-lidé. Cette année est aussi celle des thésards. Yong-chao et Ala Eddine finissent leur première année dethèse. Roland soutient le 15 novembre et Benjamin,jeune docteur, nous rejoint en octobre pour un post-

doc. Ils apportent du sang neuf à l’équipe de traite-ment d’image et à celle de vérification. Enfin, cetteannée nous a élevé de deux étages. Dorénavant ilfaut prendre l’escalier et monter au 2e étage pournous rendre visite.

Donc en cette année 1, je vous souhaite une bonnerentrée et vous propose ce marronnier où sont pré-sentés les membres du LRDE, l’activité du labora-toire et l’option CSI qui permet aux élèves d’ING 1d’intégrer le LRDE. Bonne lecture.

Le Laboratoire de R&D de l’EPITApar Akim Demaille

Le LRDE a été créé en février 1998 pour promou-voir l’activité de recherche à l’EPITA et pour per-mettre aux étudiants d’être impliqués dans des pro-jets de recherche. Au fil des années, le laboratoire atrouvé sa place à l’intersection de la recherche, du dé-veloppement et de l’enseignement.

La rechercheLa politique du laboratoire comprend deux

grands types d’activités.La recherche propre à l’école sur ses sujets

de prédilection, avec un objectif de reconnaissancescientifique grâce à des publications et des collabora-tions avec d’autres centres de recherche.

La recherche appliquée en collaboration avecd’autres partenaires académiques (tels que l’InstitutGustave Roussy, le LIP6 . . .) ou des industriels (EMC-Captiva, Bouygues Telecom. . .) afin de valoriser la re-cherche conduite en interne et de contribuer au fi-nancement de la recherche.

Les thèmes de recherche sont le calcul génériqueet performant (ou comment concilier généralité et vi-tesse) et les modèles probabilistes (ou comment at-taquer les problèmes tels que la reconnaissance desformes, l’authentification de la voix, la conformitéapprochée etc.). Les résultats sont présentés dans

des conférences internationales ou des revues scien-tifiques — plus de 100 communications depuis 1998.

Le développementD’ambitieux projets de développement logiciel 2

concrétisent et fertilisent la recherche. La diffu-sion de logiciels libres novateurs permet d’établird’étroites collaborations avec d’autres laboratoiresde recherche, mais aussi avec l’industrie toujours enquête d’innovations.

Olena est une bibliothèque de traitementd’images et du signal : elle fournit l’ensemble desprimitives nécessaires pour que le traiteur d’imagespuisse attaquer des problèmes tels que la reconnais-sance des formes, le recalage, la segmentation etc.Sa spécificité est d’être à la fois générique (les algo-rithmes sont écrits une fois pour toutes mais utili-sables dans de nombreux contextes très différents :images en noir et blanc, pixels hexagonaux, rouge-vert-bleu ou bien plus de composantes, images mas-quées ou calculées, etc.) et performante (pour une fois,ne pas payer la généralité au prix de la vitesse).

Vaucanson est le petit frère d’Olena consacré à lamanipulation des automates finis, le modèle élémen-taire théorique de ce qu’est une machine capable decalcul tel qu’un petit ordinateur. Vaucanson est un

1. L’air de rien, http://publis.lrde.epita.fr/LrdeBulletin.2. Projets de développement logiciel, http://projects.lrde.epita.fr.

L’air de rien — Spécial Rentrée No 22, Septembre 2011

projet né à Télécom ParisTech sous l’impulsion deJacques Sakarovitch et de Sylvain Lombardy, qui leco-pilotent toujours, et tracent les grands axes de sondéveloppement.

La vérification du locuteur est une composantedu domaine de la biométrie. Elle consiste à vérifiersi un échantillon de parole a bien été prononcé parle locuteur proclamé et non pas par un imposteur.Ce groupe du LRDE s’intéresse aux méthodes statis-tiques de reconnaissance des formes appliquées auxdomaines de la vérification du locuteur.

SPOT est une bibliothèque pour la constructionde model checkers. Le model checking consiste à véri-fier qu’un modèle satisfait bien des contraintes expri-mées par des formules logiques. Dans le cas présentles modèles sont représentés par des automates par-ticuliers qui reconnaissent des mots de longueur in-finie (on parle d’ω-mots et d’ω-automates). Ce projetest né au LIP6 à l’occasion du stage de DEA (puis dela thèse) d’Alexandre Duret-Lutz.

L’enseignementLes enseignants du LRDE jouent un rôle mo-

teur dans l’enseignement dispensé à l’EPITA : ils as-surent la plupart des cours fondamentaux et montentégalement des cours optionnels plus pointus autour

de leurs thèmes de recherche. De plus, en faisantdes projets scolaires de véritables petits sujets de re-cherche, ils renouvellent sans cesse les thèmes grâceauxquels, par la pratique, les étudiants deviennentdes épitéens.

Les plus enthousiastes des Ing1 peuvent être re-crutés au LRDE en qualité d’étudiants-chercheurs.Alors, pendant deux années, ils partageront la viedes enseignants-chercheurs : leur participation auxprojets de recherche est essentielle. Par trois foisdans leur cursus ils présentent leurs résultats parécrit (un rapport de recherche) et à l’oral à l’oc-casion du Séminaire CSI. Cet effort de longue ha-leine sur un sujet pointu est parfois concrétisé parla rédaction/acceptation/présentation d’articles enconférences internationales.

Ils peuvent également avoir à collaborer sur lapréparation des enseignements, sur l’exigeante logis-tique quotidienne d’un laboratoire d’informatique,etc. Ainsi, après deux années de véritable initiationà la recherche sous tous ses aspects, près de la moitiéd’entre eux font le choix éclairé de poursuivre leursétudes jusqu’au doctorat, tandis que l’autre moitiépoursuit un cursus plus classique, mais avec unemeilleure compréhension de ces chercheurs avec les-quels ils collaboreront durant leur carrière.

Les membres du LRDEDaniela Becker (Administration)

Titulaire d’un DEA d’histoire de l’artde l’EHESS et ayant enseigné l’his-toire de l’art et l’allemand pendantquatre ans, Daniela assiste Olivier, di-recteur du LRDE. Elle assure le suivides relations entre l’administrationde l’école, les permanents et les étu-

diants accueillis au labo. Pour l’EPITA, elle s’occupede la partie Europe des relations internationales del’école. Coordinatrice du programme européen Eras-mus, elle est responsable des échanges universitairesavec dix-neuf établissements partenaires. Elle gèreles signatures d’accords bilatéraux, suit l’applicationdu système ECTS à l’EPITA et organise l’envoi etl’accueil des étudiants et enseignants en mobilité.

Ala Eddine Ben Salem (Doctorant)Ingénieur ENSEEIHT-2005 en Infor-matique et Mathématiques Appli-quées, il a obtenu en parallèle unMaster Recherche Sûreté du Logi-ciel et Calcul à haute Performance àl’INP Toulouse. Il a travaillé ensuiteau sein de la société GILEM Informa-

tique, en tant qu’ingénieur d’études et développe-ment « Java/J2EE/Mathématiques appliquées ». De-puis 2011, il est doctorant au LRDE et au LIP6,au sein de l’équipe MoVe, son sujet de recherche

concerne la vérification formelle de propriétés surdes systèmes logiciels, en lien avec le projet Spot.

Réda Dehak (Enseignant-Chercheur)Docteur de Télécom ParisTech. Il s’in-téresse aux méthodes statistiques ap-pliquées au domaine de la reconnais-sance des formes. Il encadre au LRDEle groupe de travail sur le traitementde la parole et de la vérification au-tomatique du locuteur. Ses enseigne-

ments comprennent en Ing1 RELA (Bases de donnéesrelationnelles) et BDIM (Implémentation des SGBDs) ;et en option TNS (traitement numérique du signal) etTRPA1, TRPA2 (traitement automatique de la parole).

Akim Demaille (Enseignant-Chercheur)Ingénieur et docteur en informatiquede Télécom ParisTech. Il s’intéresse àla théorie des langages de program-mation, la construction des compi-lateurs et la transformation de pro-grammes. Ses enseignements com-prennent en InfoSpé THLR (théorie

des langages rationnels) ; en Ing1 THL (théorie deslangages) et CCMP (construction des compilateurs) ;et en option LOFO (logique formelle). Également di-recteur de la R&D de Gostai, une Jeune Société In-novante, il participe au développement d’Urbi, uneplate-forme de programmation parallèle et événe-mentielle pour la robotique domestique.

2

No 22, Septembre 2011 L’air de rien — Spécial Rentrée

Alexandre Duret-Lutz (Ens.-Chercheur)

EPITA-SCIA 2001, il a soutenu sathèse au LIP6 (Paris VI) en 2007 avantde rejoindre l’EPITA.

Il s’intéresse à l’utilisation d’auto-mates pour la vérification formelle.

Aux Ing1 il dispense les coursd’ALGO et de THEG, aux Ing2 le cours

d’IMC (Introduction au Model Checking).Au LRDE il encadre les projets Vaucanson et Spot.

Jonathan Fabrizio (Enseignant-Chercheur)

Docteur de Paris VI. Intéressé parle traitement d’images, il travaillesur l’extraction automatique du textedans les images. Les applications dece travail sont variées : indexationautomatique des images, assistance

pour personnes atteintes de déficiences visuelles...Il fait partie de l’équipe image et travaille sur

Olena. Concernant la partie enseignement, il inter-vient en THL (Théorie des Langages) avec Akim ainsiqu’en TIRF et SYNT (traitement et synthèse d’images).

Thierry Géraud (Enseignant-Chercheur)

Ingénieur et docteur de Télécom Pa-risTech. Il s’intéresse aux langages àobjets et à comment faut-il donc faire,hein, pour écrire des programmes decalcul scientifique abstraits et per-formants. Ses enseignements com-prennent en Ing1 CPP, MOB1, MOB2

(atelier C++, modélisation avec des objets), et INIM(initiation au traitement d’images, optionnel) ; et enoptions SYNT et MRF (synthèse d’images et champsde Markov). Il encadre le projet Olena.

Guillaume Lazzara (Ens.-Chercheur)

Diplômé de l’EPITA, ancien CSI 2008,il a travaillé sur le projet Vaucanson.

En 2008, il a intégré le LRDEcomme permanent et travaille surOlena dans le cadre du projet Scribo.Les aspects de son travail tournentprincipalement autour de la dématé-

rialisation de documents.Côté cours, il participe au séminaire de program-

mation OCaml des Sups et donne des cours de sou-tien en programmation/algorithmie pour les Ing1.

Roland Levillain (Enseignant-Chercheur)Diplômé de l’EPITA (SCIA 2003) ettitulaire d’un Mastère Spécialisé deTélécom ParisTech orienté « image »,il travaille sur le génie logiciel ap-pliqué au traitement d’images et lestechniques de programmation et decompilation. Il termine un thèse si-

tuée à l’intersection de ces sujets.Côté cours, il officie en typologie des langages

de programmation et construction des compilateurs(TYLA, et CCMP, projet Tiger). Au LRDE, il participeau projet Olena.

Olivier Ricou (Enseignant-Chercheur)Docteur en mathématiques de ParisVI, il a titillé les ordinateurs les pluspuissants de l’époque pour les simu-lations numériques de sa thèse. C’estainsi qu’il est entré dans le mondeparallèle. Aujourd’hui il s’intéresse àl’étape suivante : la distribution des

calculs sur des grilles de calcul (Grid Computing voireCloud Computing). Ses enseignements comprennentELFI (Éléments Finis), PRES (Programmation Réseauen Java) et CAPA (Calcul Parallèle). Un cours, EGEO,se différencie et touche un sujet qui lui tient à cœurdepuis bien longtemps : la Géopolitique de l’Internet.Il est aussi le directeur du LRDE.

Didier Verna (Enseignant-Chercheur)Ingénieur et docteur en informa-tique de Télécom ParisTech. S’inté-resse aux langages fonctionnels (dontLISP) et au mélange de paradigmesen leur sein (orientation objet, méta-programmation etc.), à la synthèsed’images et à la typographie. Il en-

seigne SEXP (Systèmes d’Exploitation), PFON (Ap-proches Fonctionnelles de la Programmation) enIng1 et une conférence LATEX en InfoSup. Membredes comités de pilotage et de programme du Sym-posium Européen sur Lisp. Organisateur et chair-man du Workshop Européen sur Lisp. Égalementmainteneur d’XEmacs, Gnus et BBDB et de plusieursclasses et styles LATEX. Didier est aussi jazzman semi-professionnel, mais ceci est une autre histoire. . .

Yongchao XU (Doctorant)Diplômé de Polytech’ Paris-Sud enélectronique & systèmes embarquéset titulaire d’un Mastère spécialisé en« Automatique et traitement du si-gnal et des images » de l’UniversitéParis Sud, il est actuellement en thèseau LRDE et à l’Université Paris-Est.

Il travaille sur la segmentation d’image et l’identi-fication d’objets via une représentation auto-dualed’images. Les applications visées sont la dématéria-lisation de documents et l’imagerie médicale.

3

L’air de rien — Spécial Rentrée No 22, Septembre 2011

La Majeure CALCUL SCIENTIFIQUE ET IMAGEpar Akim Demaille (Enseignant-Chercheur)

Chaque année le LRDE recrute des étudiants depremière année du cycle ingénieur d’EPITA cou-rant décembre. Il arrive parfois que des étudiants dedeuxième année soient recrutés. Dans les deux cas,intégrer le LRDE signifie choisir la majeure CSI, etréciproquement.

Cette majeure est un peu à part dans le cur-sus EPITA. Elle est le résultat d’années d’évolutiond’un système unique en son genre : des étudiantstravaillant avec des enseignants-chercheurs dans unsystème peu scolaire sur des projets de recherche.A la différence des autres majeures, on rentre enCSI dès la première année du cycle ingénieur. Sur leplan scolaire, la majeure SCIA est sans doute la plusproche, bien que la majeure CSI intègre aussi descours d’autres majeures (GISTR et SRS, entre autres)et ajoute son lot de cours dédiés.

Le travail de recherche au LRDE est évalué dedifférentes façons, notamment par des réunions bi-mensuelles ainsi que par trois rendez-vous impor-tants : l’écriture d’un rapport de recherche ensuiteprésenté à l’oral lors des séminaires CSI. L’écriturede rapports s’apparente à l’écriture d’articles scienti-fiques et les séminaires à leur présentation en confé-rence. Ainsi, le cursus CSI offre une opportunité rare

dans une école d’ingénieurs : mettre un pied dans lemonde de la recherche sans avoir suivi de mastèrerecherche. Durant leur cursus, les étudiants ont aussil’occasion d’écrire ou de co-écrire de vraies publica-tions scientifiques. C’est grâce à tous ces aspects quela majeure facilite l’accès aux Masters 2 de recherche(anciennement DEA), puis aux thèses. La majeure neferme bien évidemment pas les portes de l’industrieet laisse même une sortie favorable vers les labora-toires de R&D qui foisonnent dans les grandes entre-prises.

Ainsi, tout étudiant aimant les challenges deR&D, en particulier ceux traitant de la généricité effi-cace, trouveront leur compte dans la bonne ambiancedu LRDE. Les thèmes de travail vont du traitementd’images à la manipulation d’automates en passantpar le traitement de la parole ou du C++, le modelchecking. Dans tous les cas, il s’agit de trouver destechniques innovantes pour résoudre des problèmesardus restant encore sans réponse (ou sans réponsesatisfaisante).

Pour en savoir plus sur le recrutement CSI, soyezprésents lors de la présentation qui lui est consacrée.En attendant, familiarisez-vous avec nos thèmes derecherche par le biais de notre site web, et surtout. . .prenez contact avec nos étudiants !

Contacter le LRDE

18, rue PasteurParitalie, bâtiment X, aile Mistral

2e étage, droite droite

Tél. : 01 53 14 59 22Fax : 01 53 14 59 13

Contact : info@lrde.epita.frLes permanents : lrde@lrde.epita.frSite Web : http://www.lrde.epita.fr

. . . et surtout, passez nous voir ;vous serez toujours les bienvenus !

4