Laboratoire de Recherche et Développement
Une approche scientifique pour gérer la compléxité
Le Laboratoire de Recherche et Développement de l'EPITA (LRDE) est constitué de 7 enseignants-chercheurs, 4 thésards, 1 ingénieur de recherche, 1 responsable administratif et environ 25 élèves. Les compétences de cette équipe s'articulent autour de l'enseignement, la recherche et le développement.
Recherche...
Le laboratoire mène une activité de recherche sur deux thèmes issus des sujets de prédilection et de spécialisation de ces enseignant-chercheurs :
-
> Le thème «Calcul, Langage et Système» comprend :
- la programmation générique
- la transformation de programmes
- le calcul numérique scientifique
- le génie logiciel
- les diagrammes de décision
- les langages métiers
- les systèmes répartis
-
> Le thème «Systèmes Probabilistes et Reconnaissance des Formes», lui, couvre les sujets suivants :
- l'apprentissage automatique
- la classification
- la reconnaissance des formes
- La vérification formelle (model checking) dans le thème « Calcul Langage et Systèmes »
- le traitement d'images : cette activité de recherche se concrétise par des publications, dans des conférences internationales ou dans des revues scientifiques.
Cette activité contribue à la reconnaissance de l'EPITA dans le monde de la recherche et permet de tisser des liens et des collaborations avec des laboratoires, écoles d'ingénieurs et universités de tous horizons telles que les universités Paris VI et XI ou Télécom Paris. La recherche peut également se faire en collaboration avec des industriels. Cette activité se traduit par l'établissement de missions sous contrats, de l'expertise scientifique à la prestation de recherche et développement.
...et Développement
La recherche au sein du LRDE n'est jamais loin du développement, qu'il s'agisse des projets internes, ou de prestations de recherche. Les projets du laboratoire sont bien sûr au coeur de ces intérêts :
- Olena est une bibliothèque de traitement d'images performante et générique;
- Vaucanson est un environnement puissant et souple de manipulation de toutes les formes d'automates finis;
- Transformers permet la transformation de programmes C++, par exemple pour les optimiser;
- SPOT s'attaque à la vérification automatique de protocoles par model checking;
La démarche novatrice du LRDE lui permet d'attaquer des problèmes inaccessibles à ses concurrents, et quelques autres.
Les contrats de recherche industrielle sont souvent l'occasion de financer le développement de projets et sont à l'origine de travaux de recherche originaux.C'est ainsi que les développements effectués par le laboratoire pour le compte de SWT ont obtenu le prix européen de l'innovation IST 2004.
Liens
Les enseignants-chercheurs du LRDE maintiennent l'enseignement dispensé à l'EPITA à un haut niveau. Dans le tronc commun, ils couvrent un ensemble de matières fondamentales telles que :
- - Algorithmique, théorie des graphes
- - Base de données
- - Compilation, langages de programmation
- - Initiation au traitement d'images
- - Logique
- - Modèles théoriques du calcul
- - Programmation fonctionnelle
- - Programmation orientée objet et méthodes de conception du logiciel
- - Systèmes d'exploitation
Bien entendu ils enseignent leurs spécialités dans les cours plus avancés des options :
- - Calcul distribué
- - Calcul numérique
- - Reconnaissance des formes
- - Traitement du signal et des images
- - Vérification formelle
Certains de ces enseignements sont assortis d'un projet scolaire : typiquement un article de recherche récent est remis aux étudiants qui doivent le mettre en œuvre. Quelques exemples concernant le traitement d'images sont :
- - calculer la somme d'argent d'après une photo de pièces et billets
- - mise en correspondance d'images 2D ou 3D (e.g., une image satellitaire et une carte)
- - suppression des phylactères dans des images de bandes dessinées
- - Le plus volumineux d'entre eux étant Tiger , l'épine dorsale du Tronc Commun : l'écriture en C++ d'un compilateur.
Enfin, un cursus de formation par la recherche est ouvert aux épitéens dès la première année du cursus ingénieur : l'option CSI, Calcul Scientifique et Image. Le principe est simple : en parallèle d'une scolarité aménagée, les étudiants sont membres à part entière du laboratoire, participent au développement et à la recherche. Dans certains cas même, cela se concrétise par des publications scientifiques internationales. Enfin, c'est souvent un bon tremplin vers le monde académique : d'abord un master recherche, puis un doctorat.