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

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

Le Laboratoire de R&D de l’EPITApar Akim Demaille (Enseignant-Chercheur)

Le LRDE a été créé en février 1998 pour promouvoirl’activité de recherche à l’EPITA et pour permettre auxétudiants d’être impliqués dans des projets de recherche.Au fil des années, le laboratoire a trouvé sa place à l’inter-section de la recherche, du développement et de l’ensei-gnement.

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 reconnaissance scienti-fique grâce à des publications et des collaborations avecd’autres centres de recherche.

La recherche appliquée en collaboration avec d’autrespartenaires académiques (tels que l’Institut GustaveRoussy ou le LIP6) ou des industriels (EMC-Captiva,Bouygues Telecom. . .) afin de valoriser la rechercheconduite en interne et de contribuer au financement dela recherche.

Les thèmes de recherche sont le calcul générique etperformant (ou comment concilier généralité et vitesse) etles modèles probabilistes (ou comment attaquer les pro-blèmes tels que la reconnaissance des formes, l’authen-tification de la voix, etc.). Les résultats sont présentésdans des conférences internationales ou des revues scien-tifiques — près de 150 communications depuis 1998.

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

concrétisent et fertilisent la recherche. La diffusion delogiciels libres novateurs permet d’établir d’étroites col-laborations avec d’autres laboratoires de recherche, maisaussi avec l’industrie toujours en quête d’innovations.

Olena est une bibliothèque de traitement d’images etdu signal : elle fournit l’ensemble des primitives néces-saires pour que le traiteur d’images puisse attaquer desproblèmes tels que la segmentation, le recalage, la recon-naissance des formes, etc. Sa spécificité est d’être à la foisgénérique (les algorithmes sont écrits une fois pour toutes

mais utilisables dans de nombreux contextes très diffé-rents : images 2D, 3D ou plus encore ; en noir et blanc,niveaux de gris ou couleurs ; sur un domaine rectangu-laire ou libre, etc.) et performante (pour une fois, ne paspayer la généralité au prix de la vitesse).

Vaucanson, projet né à Télécom ParisTech sous l’im-pulsion de Jacques Sakarovitch et Sylvain Lombardy, estconsacré à la manipulation des automates finis (à multi-plicités), modèle élémentaire théorique de ce qu’est unemachine capable de calcul tel qu’un petit ordinateur, etdes expressions rationnelles, qui permettent une notationconcise des problèmes traités par les automates. Il offreune interface C++ performante et une interface graphiquetrès souple sous IPython.

La vérification du locuteur est une composante du do-maine de la biométrie. Elle consiste à vérifier si un échan-tillon de parole a bien été prononcé par le locuteur pro-clamé et non pas par un imposteur. Ce groupe du LRDEs’intéresse aux méthodes statistiques de reconnaissancedes formes appliquées aux domaines de la vérification dulocuteur.

SPOT est une bibliothèque pour la construction demodel checkers. Le model checking consiste à vérifier qu’unmodèle satisfait bien des contraintes exprimées par desformules logiques. Dans le cas présent les modèles sontreprésentés par des automates particuliers qui recon-naissent des mots de longueur infinie (on parle d’ω-motset d’ω-automates). Ce projet est né au LIP6 à l’occasion dustage de DEA (puis de la thèse) d’Alexandre Duret-Lutz.

L’enseignementLes enseignants du LRDE jouent un rôle moteur dans

l’enseignement dispensé à l’EPITA : ils assurent la plu-part des cours fondamentaux et montent également descours optionnels plus pointus autour de leurs thèmes derecherche. De plus, en faisant des projets scolaires de vé-ritables petits sujets de recherche, ils renouvellent sanscesse les thèmes grâce auxquels, par la pratique, les étu-diants deviennent des épitéens.

Les plus enthousiastes des Ing1 peuvent être recrutésau LRDE en qualité d’étudiants-chercheurs. Alors, pen-

1. L’air de rien, http://publis.lrde.epita.fr/LrdeBulletin.

L’air de rien — Spécial Rentrée No 32, Septembre 2014

dant deux années, ils partageront la vie des enseignants-chercheurs : leur participation aux projets de recherche estessentielle. Par trois fois dans leur cursus ils présententleurs résultats par écrit (un rapport de recherche) et àl’oral à l’occasion du Séminaire CSI. Cet effort de longuehaleine sur un sujet pointu est parfois concrétisé par larédaction/acceptation/présentation d’articles en confé-rences internationales.

Ils peuvent également avoir à collaborer sur la prépa-

ration des enseignements, sur l’exigeante logistique quo-tidienne d’un laboratoire d’informatique, etc. Ainsi, aprèsdeux années de véritable initiation à la recherche soustous ses aspects, près de la moitié d’entre eux font lechoix éclairé de poursuivre leurs études jusqu’au doc-torat, tandis que l’autre moitié poursuit un cursus plusclassique, mais avec une meilleure compréhension de ceschercheurs avec lesquels ils collaboreront durant leur car-rière.

Les membres du LRDESouheib Baarir (Enseignant-Chercheur)

Docteur en informatique de Paris VI en2007. Il rejoint l’équipe Spot du LRDE. Lethème de ses recherches s’inscrit dans lecadre des méthodes formelles de vérifica-tion des systèmes concurrents. En parti-culier, il s’intéresse aux méthodes permet-tant de combattre le phénomène de l’ex-

plosion combinatoire du nombre d’états possibles de cessystèmes, en exploitant des propriétés de symétries glo-bales et locales.

Daniela Becker (Administration)Assistante d’Olivier, directeur du LRDE,pour les tâches administratives, Danielaassure le suivi des relations entre l’école,les permanents et les étudiants du labo.Elle s’occupe de la communication et desrelations externes du labo. Jusqu’en 2012,elle avait coordonné le programme euro-

péen Erasmus pour l’EPITA pendant neuf ans à côté deses fonctions au LRDE. Titulaire d’un DEA d’histoire del’art de l’EHESS, elle enseigne aussi l’histoire de l’art àl’EPSAA.

Ala Eddine Ben Salem (Doctorant)Ingénieur ENSEEIHT-2005 en Informa-tique et Mathématiques Appliquées, ila obtenu en parallèle un Master Re-cherche Sûreté du Logiciel et Calcul àhaute Performance à l’INP Toulouse, puisa été ingénieur d’études et développe-ment « Java/J2EE/Mathématiques appli-

quées » chez GILEM Informatique. Depuis 2011, il est doc-torant au LRDE et au LIP6, au sein de l’équipe MoVe.Son sujet de recherche concerne la vérification formelle depropriétés sur des systèmes logiciels, en lien avec Spot.

Nicolas Boutry (Doctorant)Ingénieur ESIEE, spécialisation traite-ment du signal, il a passé ensuite 4 anset demi en Suisse à l’EPFL où il a fait dela recherche sur des images IRM de cer-veaux humains, puis de la compressiond’images à base de décompositions par-cimonieuses et de transformées en onde-

lettes. Il a travaillé ensuite en entreprise pour faire de lareconnaissance de formes et puis a rejoint le LRDE. Sathèse commencée en 2014 s’inscrit dans le domaine desarbres des formes appliqués à l’imagerie biomédicale.

Ana Stefania Calarasanu (Doctorante)

Étudiante à Paris VI en Imagerie, elle a re-joint le LRDE en 2012 lors de son stagede fin de Master 2, puis a enchaîné avecune thèse de doctorat. Elle fait partie del’équipe Image et travaille sur la localisa-tion de texte dans des images naturelles.

Edwin Carlinet (Doctorant)

Ingénieur EPITA (CSI 2011), il a conti-nué ses études avec un Master Rechercheen traitement d’images à l’ENS Cachan.Après un stage de Master 2 au LRDE en2012, il effectue une thèse dans l’équipeImage. Son travail porte notamment sur

l’utilisation de l’arbre des formes et plus généralement surla détection d’objets dans les images. Il donne égalementdes cours de bio-informatique à Sup’Biotech.

Réda Dehak (Enseignant-Chercheur)

Docteur de Télécom ParisTech. Il s’in-téresse aux méthodes statistiques appli-quées au domaine de la reconnaissancedes formes. Il encadre au LRDE le groupede travail sur le traitement de la paroleet de la vérification automatique du lo-cuteur. Il enseigne en Ing1 RELA (bases

de données relationnelles) et BDIM (implémentation desSGBDs) ; et en majeures TNS, TRPA1 et TRPA2 (traitementautomatique du signal et de la parole).

Akim Demaille (Enseignant-Chercheur)

Ingénieur et docteur en informatique deTélécom ParisTech. Il s’intéresse à la théo-rie des langages de programmation, laconstruction des compilateurs et la trans-formation de programmes. Ses enseigne-ments comprennent en InfoSpé THLR(théorie des langages rationnels) ; en Ing1

THL (théorie des langages) et avec Thierry Géraud MOB1,MOB2 (modélisation avec des objets) ; puis en option LOFO(logique formelle). Au LRDE, il encadre le projet Vaucan-son.

2

No 32, Septembre 2014 L’air de rien — Spécial Rentrée

Clément Démoulins (Ing. de recherche)Clément est diplômé d’un Master 2 SAR(Spécialité Systèmes et Applications Ré-parties) à l’UPMC. Ingénieur de déve-loppement de CosyVerif à Paris VI puisà l’ENS Cachan, il s’occupe maintenantde l’administration système du LRDE etsera impliqué dans un projet de recherche

en Big Data.

Alexandre Duret-Lutz (Ens.-Chercheur)EPITA-SCIA 2001, il a soutenu sa thèseau LIP6 (Paris VI) en 2007 avant de re-joindre l’EPITA. Il s’intéresse à l’utili-sation d’automates pour la vérificationformelle. Aux Ing1 il dispense les coursd’ALGO et de THEG, aux Ing2 celui d’IMC(introduction au model checking). Au

LRDE il encadre le projet Spot.

Jonathan Fabrizio (Enseignant-Chercheur)Docteur de Paris VI. Intéressé par letraitement d’images, il travaille surl’extraction automatique du texte dansles images, domaine aux applicationsvariées : indexation automatique desimages, assistance pour personnes at-

teintes de déficiences visuelles. . . Il fait partie de l’équipeImage et du projet Olena. Il intervient en cours de THLR& THL (théorie des langages), TIRF & SYNT (traitement etsynthèse d’images).

Thierry Géraud (Enseignant-Chercheur)Docteur de Télécom ParisTech et habi-lité à diriger des recherches (HDR) parl’Université Paris-Est. Il s’intéresse à lamorphologie mathématique, à la topolo-gie discrète et plus généralement au trai-tement d’images et à la reconnaissancedes formes. Il s’intéresse aussi à l’écriture

de programmes de calcul scientifique abstraits et per-formants. Ses enseignements comprennent en Ing1 CPP(l’atelier C++), MOB1 et MOB2 (modélisation avec des ob-jets, avec Akim Demaille) et INIM (initiation au traite-ment d’images, optionnel) ; et en majeures MRF (champsde Markov). Initiateur et membre du projet Olena.

Étienne Renault (Doctorant)Diplômé de Paris VI en système et ap-plications réparties, Étienne s’intéresseà la vérification formelle des systèmesconcurrents. Il a intégré le LRDE en 2011dans le cadre de sa thèse portant surla composition dynamique de techniquespour le model checking efficace. Ce tra-

vail, en collaboration avec l’équipe MoVe du LIP6, s’in-tègre au projet Spot.

Olivier Ricou (Enseignant-Chercheur)Docteur en mathématiques de Paris VI, ila titillé les ordinateurs les plus puissantsde l’époque pour les simulations numé-riques de sa thèse. C’est ainsi qu’il est en-tré dans le monde parallèle. Aujourd’huiil s’intéresse à l’étape suivante : la distri-bution des calculs sur des grilles de cal-

cul (Grid Computing voire Cloud Computing). Ses ensei-gnements comprennent ELFI (éléments finis), PRES (pro-grammation réseau en Java) et CAPA (calcul parallèle). Uncours, EGEO, se différencie et touche un sujet qui lui tientà cœur depuis bien longtemps : la géopolitique de l’Inter-net. Il est aussi le directeur du LRDE.

Myriam Robert-Seidowsky (Ingénieure derecherche)

Diplômée d’un Master d’informatique entraitement d’images de Paris VI, Myriama intégré l’équipe Image du LRDE en2013. Elle participe au projet TerraRushau côté de Jonathan Fabrizio. Le but desa mission est d’extraire et reconnaître du

texte dans des vidéos pour faciliter l’indexation de rushesainsi que de faire disparaître du texte des séquences (ex :sous-titres).

Didier Verna (Enseignant-Chercheur)Ingénieur et docteur en informatique deTélécom ParisTech. S’intéresse aux lan-gages fonctionnels (dont LISP) et au mé-lange de paradigmes en leur sein (orien-tation objet, méta-programmation etc.), àla synthèse d’images et à la typographie.

Il enseigne SEXP (systèmes d’exploitation), PFON (ap-proches fonctionnelles de la programmation) en Ing1 etune conférence LATEX en InfoSup. Membre des comités depilotage et de programme du Symposium Européen surLisp. Organisateur et chairman du Workshop Européensur Lisp. Également mainteneur d’XEmacs, Gnus et BBDBet de plusieurs classes et styles LATEX. Didier est aussi jazz-man semi-professionnel, mais ceci est une autre histoire. . .

Yongchao Xu (Enseignant-Chercheur)Diplômé de Polytech’ Paris-Sud en élec-tronique & systèmes embarqués et titu-laire d’un Mastère spécialisé en « Auto-matique et traitement du signal et desimages » de l’Université Paris Sud, il asoutenu sa thèse au LRDE et à l’Univer-sité Paris-Est en décembre 2013. Il conti-

nue de travailler au labo sur la segmentation d’image etl’identification d’objets via une représentation auto-dualed’images. Les applications visées sont la dématérialisa-tion de documents et l’imagerie médicale.

3

L’air de rien — Spécial Rentrée No 32, Septembre 2014

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

Chaque année le LRDE recrute des étudiants de pre-mière année du cycle ingénieur de l’EPITA courant dé-cembre. Des étudiants de deuxième année sont parfois re-crutés. Dans les deux cas, intégrer le LRDE signifie choisirla majeure CSI et vice versa.

Cette majeure est un peu à part dans le cursus EPITA.Elle est le résultat d’années d’évolution d’un systèmeunique en son genre : des étudiants travaillant avec desenseignants-chercheurs dans un système peu scolaire surdes projets de recherche. À la différence des autres ma-jeures, on rentre en CSI dès la première année du cycleingénieur. Sur le plan scolaire, la majeure SCIA est sansdoute la plus proche, bien que la majeure CSI intègre aussides cours 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é de diffé-rentes façons, notamment par des réunions bimensuellesainsi que par trois rendez-vous importants : l’écritured’un rapport de recherche présenté ensuite à l’oral lorsdes séminaires CSI. L’écriture de rapports s’apparente àl’écriture d’articles scientifiques et les séminaires à leurprésentation en conférence. Ainsi, le cursus CSI offre uneopportunité rare dans une école d’ingénieurs : mettre un

pied dans le monde de la recherche sans avoir suivi demastère recherche. Durant leur cursus, les étudiants ontaussi l’occasion d’écrire ou co-écrire de vraies publica-tions scientifiques. C’est par tous ces aspects que CSI faci-lite l’accès aux masters 2 recherche (anciennement DEA),puis aux thèses. La majeure ne ferme bien évidemmentpas les portes de l’industrie et offre même une sortie fa-vorable vers les laboratoires de R&D qui foisonnent dansles grandes entreprises.

Ainsi, tout étudiant aimant les défis de R&D, en par-ticulier ceux traitant de la généricité efficace, trouve-ront leur compte dans la bonne ambiance du LRDE. Lesthèmes de travail vont du traitement d’images à la ma-nipulation d’automates, en passant par le traitement dela parole et le model checking. Il s’agit dans tous les casde trouver des techniques innovantes pour résoudre desproblèmes ardus restant encore sans réponse (ou sans ré-ponse satisfaisante).

Pour en savoir plus sur le recrutement CSI, soyez pré-sents lors de la présentation qui lui est consacrée. En at-tendant, familiarisez-vous avec nos thèmes de recherchepar le biais de notre site Web, et surtout. . . prenez contactavec les étudiants CSI !

Contacter le LRDE

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

2e étage, droite droite

Tél. : 01 53 14 59 22Contact : info@lrde.epita.fr

Les permanents : lrde@lrde.epita.frSite Web : http://www.lrde.epita.fr

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

4