L’air de rien — Spécial Rentrée No 11, Septembre 2007

L’Option CALCUL SCIENTIFIQUE ET IMAGEChaque année le LRDE recrute une dizaine

d’étudiants de première année du cycle ingénieurd’EPITA courant décembre. Il arrive parfois que desétudiants de deuxième année soient recrutés. Dansles deux cas, intégrer le LRDE signifie choisir l’op-tion de spécialisation CSI, et réciproquement.

Cette option est un peu à part dans le cursusEPITA. Elle est le résultat d’années d’évolution d’unsystème unique en son genre : des étudiants tra-vaillant avec des enseignants-chercheurs dans unsystème peu scolaire sur des projets de recherche.À la différence des autres options de spécialisation,on rentre en CSI dès la première année du cycle in-génieur. Sur le plan scolaire, l’option SCIA est sansdoute la plus proche, bien que l’option CSI intègreaussi des cours d’autres options (GISTR et SRS, entreautres) 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é raredans une école d’ingénieurs : mettre un pied dans lemonde de la recherche sans avoir suivi de master re-

cherche. 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 quel’option facilite l’accès aux masters 2 de recherche(anciennement DEA), puis aux thèses. L’option 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’image à la manipulation d’automates en passantpar le traitement de la parole ou du C++, le mo-del checking, ou encore les diagrammes de décision.Dans tous les cas, il s’agit de trouver des techniquesinnovantes pour résoudre des problèmes ardus res-tant encore sans réponse (ou sans réponse satisfai-sante).

Pour en savoir plus sur le recrutement CSI, soyezprésents lors des séances de présentation du LRDE,et tout particulièrement celle de présentation despostes sur lesquels vous candidaterez. En attendant,familiarisez-vous avec nos thèmes de recherche parle biais de notre site-web, et surtout. . . prenez contactavec nos étudiants !

Contacter le LRDE

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

Rez de chaussée, gauche

Tél./Fax : 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 !

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

L’aléastriel du Laboratoire de Recherche et de Développement de l’EPITA1 Numéro 11, Septembre 2007

Éditopar Alexandre Duret-Lutz (Enseignant-Chercheur)

« Tiens, puisque t’es nouveau, et si tu écrivaisl’édito ? »

Comme certains lecteurs c’est avec ce numéroque je découvre l’air de rien, la note d’information duLRDE qui paraît de façon aléatoire. Je n’invente rien :c’est écrit là-haut, et certains d’entre nous occupentleurs week-ends à faire rouler des dés (j’ai plusieurstémoins).

L’intérêt de ce numéro spécial rentrée est qu’il

vous brosse un portrait du LRDE, des gens qui y tra-vaillent, des projets sur lesquels ils s’affairent, et descours qu’ils dispensent. Nous avons même mis desphotos pour les étudiants qui viennent parler à unprof dont ils ont séché tous les cours.

Le format de ce numéro a été augmenté par rap-port aux quatre pages d’un air de rien habituel afin depouvoir quand même vous présenter l’actualité dulabo : le voyage au CRIM de Réda et mon arrivée.

Dates à retenirMercredi 3 octobre

Soutenance de stage des étudiants de la promo-tion 2007 de l’option de spécialisation CSI (Cal-cul Scientifique et Image).

Mercredi 10 octobre, 16h-18h, amphi 1, KBPrésentation globale des activités du labora-toire. Venez nombreux. . .

Lundi 10 décembre, 16h-18h, amphi 4, KBPrésentation pour les étudiants en première an-née du cycle ingénieur sur les possibilités de re-joindre le LRDE dans le cadre de l’option CSI.

Jeudi 13 décembre, 13h30-15h30, amphi 4, KBLe calendrier de cette année scolaire ne nouspermettant pas d’avoir de notes de partiels surlesquels mesurer l’excellence scolaire des can-didats, un concours d’entrée en CSI sera orga-nisé.

Mardi 18 décembre, 18h-22h, amphi masters, KBSoirée de recrutement des nouveaux arrivantsau LRDE (promotion CSI-2010).

Les mercredis 9 et 16 janvier 2008Les derniers séminaires de la promotion CSI-2008.

Du 30 juin au 12 juillet 2008Organisation des séminaires CSI, promotionCSI-2009 et CSI-2010.

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

Le LRDE a été créé en février1998 pour promouvoir l’activitéde recherche à EPITA et pourpermettre aux étudiants d’être

impliqués dans des projets de recherche. Au fil desannées, le laboratoire a trouvé sa place à l’intersec-tion de la recherche, du développement et de l’ensei-gnement.

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

L’air de rien — Spécial Rentrée No 11, Septembre 2007

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’Institutd’Astrophysique de Paris, le Commissariat à l’Éner-gie Atomique. . .) ou des industriels (EMC-Captiva,Bouygues Telecom. . .) afin de valoriser la rechercheconduite en interne et de contribuer au financementde 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 dansdes conférences internationales ou des revues scien-tifiques — plus de 80 communications en 10 ans.

Le développement

D’ambitieux projets de développement logiciel2

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 unprojet né à l’ENST sous l’impulsion de Jacques Sa-karovitch et de Sylvain Lombardy, qui le co-pilotenttoujours, et tracent les grands axes de son dévelop-pement.

Transformers fournit un cadre pour la manipu-lation de programmes C++ et permet la création de

puissants outils améliorant la productivité des pro-grammeurs : outils d’analyse de correction de code,rénovation de logiciel, extension du langage C++,optimisation etc.

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’unmodè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 infi-nie (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 sept enseignants chercheurs, deux ingénieurs

de recherche et trois doctorants 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 autourde leur 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.

2projets de développement logiciel, http://projects.lrde.epita.fr.

No 11, Septembre 2007 L’air de rien — Spécial Rentrée

Cartographie de systèmes d’informationpar Thierry Géraud (Enseignant-Chercheur)

Depuis maintenant plusd’un an, le LRDE participe audéveloppement d’une plate-forme de cartographie de sys-tèmes d’information dont leplus gros client est BouyguesTelecom (BT).

Dans un référentiel de cartographie, on trouveles éléments constitutifs d’un système d’information(SI) ; ce sont par exemple les processus métiers, lesapplications, les systèmes techniques, les serveurs,etc. Ces éléments et les relations entre ces élémentssont décrits dans le Modèle d’Information du SI(MISI). Ils sont assimilables aux articles de configura-tion sur lesquels s’appuient les processus de Gestionde Services de l’ITIL et entreposés dans ce qu’ITILappelle une CMDB (base de données des articles deconfigurations).

La mission de cette plate-forme est de contribuerà la maîtrise du fonctionnement, des évolutions etdes coûts d’un système d’information en fournissantles « bonnes » cartes, c’est-à-dire des représentationsefficaces permettant de visualiser et de pouvoir « na-viguer » dans un SI.

De nombreuses applications découlent d’unetelle plate-forme ; par exemple, déterminer quelsprocessus métiers de l’entreprise sont impactés parla panne d’un serveur ou l’interruption de serviced’une application.

Il s’agit de notre troisième prestation pour BT (di-rectement ou indirectement), toujours sous la super-vision de Th. Géraud. Si par son thème elle ne cor-respond pas directement à la recherche du labora-toire, elle contribue cependant au bilan financier età l’activité : participent au développement trois sta-giaires épitéens rémunérés par BT, qui finance aussileur poste de travail laissé ensuite au LRDE.

Un mois de sabbatique au CRIMpar Réda Dehak (enseignant-chercheur)

J’ai effectué un séjour sab-batique d’un mois au sein dugroupe RECO du Centre deRecherche en Informatique deMontréal (CRIM). Ce séjours’inscrit dans le cadre d’une col-laboration entre le LRDE et le

CRIM autour du développement de nouvelles ap-proches pour la vérification du locuteur. Ce domainetrès intéressant de la biométrie consiste à vérifierl’identité proclamée d’une personne à partir d’un en-registrement audio de sa voix. Certains résultats dece travail sont rapportés dans trois articles acceptésà la conférence internationale Speaker and LanguageRecognition (IEEE-Odyssey’08).

Le premier article porte sur une approche de fu-sion de plusieurs systèmes d’identification du locu-teur fondés sur les méthodes à noyaux (SVM) en unseul système. La méthode développée propose unefusion directement dans l’espace des noyaux.DEHAK, R., DEHAK, N., KENNY, P., AND DUMOU-CHEL, P.. Kernel combination for SVM speaker ve-

rification. In Proceedings of the Speaker and LanguageRecognition Workshop (IEEE-Odyssey 2008), Stellen-bosch, South Africa

Le deuxième article présente une comparaisonentre les méthodes fondées sur les méthodes ànoyaux (SVM) avec la célèbre méthode Factor Analy-sis (FA) pour la vérification du locuteur. Les résultatsobtenus montrent la puissance de la méthode FA quidépasse les méthodes SVM de ∼ 0.5%.

DEHAK, N., DEHAK, R., KENNY, P., AND DUMOU-CHEL, P.. Comparison between factor analysis andGMM support vector machines for speaker verifica-tion. In Proceedings of the Speaker and Language Recog-nition Workshop (IEEE-Odyssey 2008), Stellenbosch,South Africa

Dans le troisième article, des expérimentationsont été faites pour montrer l’influence des SpeakerFactors sur les performances de la méthode FA.

KENNY, P., DEHAK, N., DEHAK, R., GUPTA, V.,AND DUMOUCHEL, P.. The role of speaker factorsin the NIST extended data task. In Proceedings ofthe Speaker and Language Recognition Workshop (IEEE-Odyssey 2008), Stellenbosch, South Africa

L’air de rien — Spécial Rentrée No 11, Septembre 2007

Alban Linard (Doctorant)

La décision est souvent l’art d’être cruel à temps.— Henry Becque

Doctorant en troisième année auLRDE et au LIP6 (Laboratoired’Informatique de Paris 6), ilétudie les Diagrammes de Déci-sion et leur application à la vé-rification exhaustive de Réseauxde Petri. Il enseigne OTR (Or-donnancement Temps Réel) etADA (Lovelace) en GISTR, unepartie d’IMC (model-checking)

avec Alexandre Hamez, et co-encadre THLR.

Olivier Ricou (Enseignant-Chercheur)

Une petite impatience ruine un grand projet.— Confucius

Docteur en mathématiques deParis VI, le besoin d’effectuerdes simulations numériques degrande échelle l’a poussé durantsa thèse à paralléliser ses pro-grammes. Aujourd’hui il s’inté-resse a l’étape suivante qui est ladistribution des calculs sur desgrilles de calcul (Grid Compu-ting). Ses enseignements com-

prennent les Éléments Finis, ELFI, la programmation

réseau en Java, PRES, le calcul parallèle, CAPA. Uncours se différencie et touche un sujet qui lui tient àcœur depuis bien longtemps, la géopolitique de l’In-ternet, EGEO.

Didier Verna (Enseignant-Chercheur)

Lisp is really two languages : a language for writing fastprograms and a language for writing programs fast.

— Paul Graham

Ingénieur et docteur en in-formatique de l’ENST. S’inté-resse aux langages fonction-nels (dont LISP) et au mé-lange de paradigmes au sein deceux-ci (orientation objet, méta-programmation etc.), à la syn-thèse d’images et à la typo-graphie. Ses enseignements in-cluent SEXP (Systèmes d’Exploi-

tation), PFON (Approches Fonctionnelles de la Pro-grammation) en Ing1 et une conférence LATEX en In-foSup, ainsi que d’autres enseignements à l’ENST,l’ENSTA et au Mastère d’Informatique de Jussieu.Également mainteneur d’XEmacs, Gnus et BBDB etde plusieurs classes et styles LATEX. Didier Verna estaussi jazzman semi-professionnel, mais ceci est uneautre histoire. . .

No 11, Septembre 2007 L’air de rien — Spécial Rentrée

Alexandre Duret-Lutz — Du neuf avec du vieuxpar Akim Demaille (Enseignant-Chercheur)

Il est de retour ! Appartenantà la deuxième génération d’étu-diants du LRDE (autrefois CSIn’existait pas), Alexandre Duret-Lutz vient de rejoindre l’équipe

des docteurs enseignants-chercheurs du laboratoire.

Étudiant assidu de l’option SCIA, dont il étaitl’un des « bijoux », il a activement participé au dé-veloppement des premières moutures d’Olena, notrebibliothèque de traitement d’images générique etperformante. En parallèle, il développait Heroes3, unjeu multiplateforme sous licence libre (GNU GPL).

C’est à peu près au même moment qu’à moncontact il a contracté une maladie grave : l’envie debidouiller les autotools. Au plus fort de la maladie, ilfut le mainteneur officiel d’Automake, on lui doit lesversions de 1.6.2 à 1.10. Aujourd’hui complètementremis, son exceptionnel tutoriel sur les Autotools faitpartout référence et garantit un flux régulier de mes-sages d’utilisateurs désemparés, désespérés, bientôtautophobes (de futurs candidats pour une analyse !).

À l’époque les DEAs (aujourd’hui «Mastères Re-cherche ») étaient très frileux quant à recruter desépitéens. Il y perdit une année pendant laquelle iltravailla en CDD au LRDE, entre autre sur unepremière prestation pour Bouygues Telecom, maisaussi sur des avancées sur le développement d’Olenaconcrétisées par la parution d’articles scientifiques.Une année de diplomatie avec les responsables desDEAs conduisirent à son acceptation ; il décevra pro-fondément les détracteurs de l’EPITA en terminantmajor.

Commence l’aventure de la thèse au Laboratoired’Informatique de Paris 6, le fameux LIP6, dansl’équipe de Fabrice Kordon. Avec son superviseurDenis Poitrenaud, il se lance dans l’implémentationde SPOT4, une bibliothèque C++ (What else !) consa-crée au model checking — ou comment s’assurer dela correction d’un programme par la vérification ex-haustive de toutes ses exécutions possibles. Au mo-ment où Alexandre soutenait sa thèse, SPOT était re-connue comme une bibliothèque de qualité dans ledomaine ! De joie, et peut-être aussi en guise de ritede passage à l’âge de docteur, il se rase alors la barbequ’il portait depuis la naissance.

Merci à Alexis Angelidis, un autre ancien de lamême promo, pour ce dessin prémonitoire.

Alors un geek de plus au LRDE ? Que nenni.Bien connu comme adl ou parfois gadl, Alexandres’adonne au bookcrossing5, l’art de donner vie auxlivres en les faisant voyager de mains en mains, depays en pays. Mais sans conteste, c’est le photo-graphe qui vous surprendra.

S’il estune seulepage à visi-ter, c’est sagalerie dephotogra-phies6. Nemanquezsurtout passes Weeplanets,les petitesplanètesdont unexemplevous estdonné ici.

C’estdonc avecjoie quenous re-trouvonsun ancienélève depuis bien longtemps devenu un ami. Unami créatif, prolifique et talentueux. Pour lui témoi-gner notre affection, nous lui avons généreusementoffert d’assurer les cours THLR, ALGO, MOB, departiciper aux premières prestations industrielles del’année, d’être le rédacteur en chef de ce numéro,de reprendre le projet Vaucanson, de coordonnerles actions liées au libre à l’EPITA . . . BienvenueAlexandre ;)

3Heroes, http://heroes.sourceforge.net/.4SPOT, http://spot.lip6.fr/.

L’air de rien — Spécial Rentrée No 11, Septembre 2007

Les membres du LRDEVous trouverez ici la présentation des perma-

nents du LRDE, et même un peu plus avec Cathe-rine Coquan, logée temporairement dans nos locaux.La liste des cours assurés par le LRDE7 est disponibleen ligne.

Daniela Becker (Administration)

Le véritable voyage de découverte ne consiste pas àchercher de nouveaux paysages, mais à avoir de nouveaux

yeux. — Marcel Proust

Titulaire d’un DEA d’histoire del’art de l’EHESS et ayant ensei-gné l’histoire de l’art et l’alle-mand pendant quatre ans, Da-niela Becker assiste Akim De-maille, responsable du LRDE,dans l’art de la gestion admi-nistrative et de la communica-tion externe et interne du LRDE.Elle assure le suivi des relations

entre l’administration de l’école, les enseignants-chercheurs et les étudiants accueillis au labo.

Pour l’EPITA, elle travaille avec Catherine Co-quan et s’occupe de la partie Europe des Relations in-ternationales de l’école. En tant que coordinatrice duprogramme européen Erasmus, elle est responsabledes échanges universitaires avec neuf établissementspartenaires. Elle gère les signatures d’accords bilaté-raux, suit l’application du système ECTS à l’EPITAet organise l’envoi et l’accueil des étudiants et ensei-gnants en mobilité.

Catherine Coquan(Relations Internationales EPITA)

Quand un arbre tombe, on l’entend ; quand la forêtpousse, pas un bruit. — Proverbe sud-africain

Responsable des relations inter-nationales Epita, elle fait la pro-motion de l’école à l’étrangerpar la production de supportsde communication, la participa-tion à des évènements (salons,rencontres) et le suivi de candi-datures pour adhérer à des or-ganismes internationaux. En in-terne, elle travaille avec la direc-

tion, le service ingénierie et les relations entreprisespour qu’il y ait une cohérence entre le cursus exis-tant et les besoins et opportunités à l’international.

Elle répond aux demandes extérieures et développeles contacts à la recherche de nouveaux partenariatset stages à l’étranger. Les étudiants s’adressent à ellepour connaître les offres de stages du service maisaussi pour des questions plus générales liées à l’in-ternational.

Réda Dehak (Enseignant-Chercheur)

La théorie, c’est quand on sait tout et que rien nefonctionne. La pratique, c’est quand tout fonctionne et

que personne ne sait pourquoi. Ici, nous avons réunithéorie et pratique : Rien ne fonctionne... et personne ne

sait pourquoi ! — Albert Einstein

Docteur de l’ENST. Il s’intéresseaux méthodes statistiques ap-pliquées au domaine de la re-connaissance des formes. Il en-cadre au LRDE le groupe de tra-vail sur le traitement de la pa-role et de la vérification auto-matique du locuteur. Ses ensei-gnements comprennent en Ing1RELA (Bases de données rela-

tionnelles) et BDIM (Implémentation des SGBDs) ; eten option TNS (traitement numérique du signal) etTRPA1, TRPA2 (traitement automatique de la parole).

Akim Demaille (Enseignant-Chercheur)

A programming language is low level when its programsrequire attention to the irrelevant. — Alan Perlis

Ingénieur et docteur en infor-matique de l’ENST. Il s’intéresseà la théorie des langages deprogrammation, la constructiondes compilateurs et la transfor-mation de programmes. Il estactuellement le responsable duLRDE. Ses enseignements com-prennent en InfoSpé THLR (théo-rie des langages rationnels) ; en

Ing1 THL, TYLA, et CCMP (théorie des langages, ty-pologie des langages de programmation, construc-tion des compilateurs avec Roland Levillain) ; et enoptions LOFO (logique formelle). Il encadre le pro-jet Transformers8 (front-end générique pour le C++),et, avec R. Levillain, le projet Tiger9. Il est égalementimpliqué dans Gostai, une Jeune Société Innovante,pour le développement du langage de programma-tion pour la robotique Urbi.

7liste des cours assurés par le LRDE, http://epita.lrde.epita.fr/CourseList.8Transformers, http://transformers.lrde.epita.fr.9Tiger, http://tiger.lrde.epita.fr.

No 11, Septembre 2007 L’air de rien — Spécial Rentrée

Alexandre Duret-Lutz(Enseignant-Chercheur)

Moi, je n’aime pas les citations. — Schtroumpf Grognon

Ancien épitéen (SCIA promo2001), il a soutenu sa thèseau LIP6 (Laboratoire d’Infor-matique de Paris 6) en juillet2007 et vient d’être embauché àl’EPITA. Il s’intéresse à l’utilisa-tion d’automates pour la vérifi-cation formelle et à la program-mation par objets. En Ing1 il dis-pensera le cours d’ALGO et rem-

placera Th. Géraud pour certains de ses cours en2008. Il participe à THLR en InfoSpé. Au LRDE il en-cadrera le projet Vaucanson10 (bibliothèque d’auto-mates finis). Avec le LIP6 il collabore autour la biblio-thèque de model checking SPOT. Il ferait bien de neplus prétendre s’occuper du projet GNU Automake.

Thierry Géraud (Enseignant-Chercheur)

La probabilité zéro n’existe pas.

Ingénieur et docteur de l’ENST.Il s’intéresse aux langages à ob-jets et à comment faut-il doncfaire, hein, pour écrire des pro-grammes de calcul scientifiqueabstraits et performants. Sesenseignements comprennent enIng1 CPP, MOB1, MOB2 (atelierC++, modélisation avec des ob-jets), et INIM (initiation au trai-

tement d’images, optionnel) ; et en options SYNT etMRF (synthèse d’images et champs de Markov). Ilencadre le projet Olena11 (bibliothèque générique detraitement d’images).

Alexandre Hamez (Doctorant)

Je passe le plus clair de mon temps à l’obscurcir.— Boris Vian

Doctorant en deuxième annéeau LRDE et au LIP6, son sujet derecherche concerne la paralléli-sation et la répartition des dia-grammes de décisions, dans lecadre de la vérification de sys-tèmes répartis. Il enseigne REPE

(Réseaux de Petri), MIDD (LesIntergiciels) aux Ing2, IMC en co-

opération avec Alban Linard. Enfin, il participe àl’encadrement de THLR en InfoSpé.

Sébastien Hémon (Doctorant)

Le problème du monde, c’est que les imbéciles sontprésomptueux et les gens intelligents bourrés de doutes.

— Bertrand Russell

Sébastien Hémon est doctorantau LRI (Laboratoire de Re-cherche en Informatique) situéà Orsay, en partenariat avecle LRDE. Diplômé d’un DEAen logique et ancien professeurde mathématiques dans les éta-blissements publics de seconddegré (il possède entre autresl’agrégation demathématiques),

il dispense quelques cours à dominante théoriqueaux CSI et SCIA.

Participant actif au groupe de recherche Infor-matique Mathématique du CNRS, il utilise les ou-tils mathématiques pour tenter de résoudre des pro-blèmes liés à l’informatique. La théorie des jeux estson domaine de prédilection et le LRDE lui fournitune vision plus appliquée et pratique de ses travauxqui portent principalement sur le calcul effectif deséquilibres de Nash et la recherche de stratégies ga-gnantes.

Roland Levillain (Enseignant-Chercheur)

Much of my work has come from being lazy.— John Backus

Diplômé de l’EPITA (SCIA 2003)et titulaire d’un Mastère Spécia-lisé de l’ENST orienté « image »,il officie dans deux domaines apriori disjoints : le génie logicielappliqué au traitement d’imageset les techniques de compila-tion ; en pratique, on trouve deschoses très intéressantes à leurintersection.

Sévit en Ing1 lors des cours de typologie des lan-gages de programmation et de construction des com-pilateurs (TYLA, et CCMP) avec Akim Demaille. Ducoup, il apprend aux étudiants à dompter le projetTiger avec A. Demaille. Dans le cadre du LRDE, ilparticipe au projet Olena.

10Vaucanson, http://vaucanson.lrde.epita.fr.11Olena, http://olena.lrde.epita.fr.