Laboratoire d informatique Gaspard-Monge UMR Journée Labex Bézout- ANSES

Transcription

1 Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES

2 Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des Ponts ParisTech, ESIEE Paris, Université Paris-Est Marne-la-Vallée LabEx Bézout avec les laboratoires CERMICS et LAMA Fédération de recherche CNRS Bézout FR3522

3 Champs scientifiques Interface entre les sciences de l information et les autres sciences Mise en continuité de la recherche amont et des applications Algorithmes et modèles discrets, combinatoire Génomique, analyse des réseaux biologiques, traitement automatique des langues Image : Géométrie, filtrage et analyse d images, optimisation, apprentissage, vision, modèles 3D Reconstruction de modèles 3D, imagerie médicale et satellitaire Traitement statistique du signal, communications numériques Réseaux de capteurs, systèmes MIMO, codage Logiciels, réseaux, algorithmique des systèmes temps-réel Réseaux sans fils, internet des Objets, développement de Java, systèmes temps-réels, avionique

4 Les équipes Algorithmes, architectures, analyse et synthèse d images - responsable : Michel Couprie (ESIEE). Combinatoire algébrique et calcul symbolique - responsable : Jean-Yves Thibon (UPEM). Logiciels, réseaux et temps-réel - responsable : Laurent George (UPEC). Modèles et algorithmes - responsable : Stéphane Vialette (CNRS), responsable adjoint Arnaud Carayol (CNRS). Signal et communications - responsable Jamal Najim (CNRS).

5 Les équipes #chercheurs et ens-chercheurs hors éméritat A3SI Combi Algo Ling LRT Signal

6 Quelques défis scientifiques Algorithmique. Bio-informatique Développements méthodologiques et algorithmiques répondant aux défis posés par l analyse des données de séquençage haut débit (PIA ABS4NGS) Axes scientifiques autour du rôle de l aléatoire en sciences de l information. Analyse en moyenne d algorithmes sur des modèles réalistes. Logiciels. Réseaux. Internet des objets Vérification logicielle et langages fonctionnels. Modification de machines virtuelles pour intégrer le typage dynamique. Protocoles pour réseaux ad-hoc Internet des objets

7 Quelques défis scientifiques Traitement des données Grandes masses de données Apprentissage Traitement des données linguistiques Applications des grandes matrices aléatoires au traitement statistique du signal. Optimisation Problèmes d optimisation sur des graphes induits par des objets géométriques. Optimisation dans les hiérarchies et les méthodes de segmentation connective. Algorithmes d optimisation pour les problèmes de grande taille convexes ou non convexes.

8 Dynamique de site renforcement des collaborations intra équipe A3SI ENPC et ESIEE développement des collaborations inter-laboratoires et inter équipes (recrutement récent d un professeur en géométrie algorithmique IUF junior) qui fait le lien entre les équipes A3SI et Modèles et algorithmes collaborations avec le CERMICS en optimisation et combinatoire collaborations avec le LACL (UPEC) avec projets ANR. collaborations entre le groupe linguistique et l équipe LATTS-PERSIST sur l innovation scientifique collaborations avec Henri Mondor. Deux thèses en co-direction. ont démarré. collaborations avec l INA. Une thèse commencée.

9 Dynamique de site et structures Labex Bézout candidature IDEX/I-SITE, Sciences du numérique projet de création d un pôle Sciences du numérique projet de fusion des universités UPEM-UPEC candidatures aux PEPS-UPE interdisciplinaires (maths-stic et SHS), appels DIM Math Ile-de-France visibilité de la filière internationale Master Bézout structuration future des Masters mathématiques et STIC dans le contexte national

10 Dynamique internationale candidature projets européens réseaux de doctorants (thème optimisation sur des graphes pour le traitement d images) candidatures ERC jeunes chercheurs candidatures ANR bilatérales

11 Transfert Transfert recherche-enseignement participation aux projets IDEA/IDEFI Transfert recherche-industrie Journées Labex-Industrie startup créée à NYC par un ancien docteur du laboratoire (big-data) deux maturations et projets de startup par deux autres anciens docteurs (Internet des Objets) startup Acute3D créée en 2011 par deux chercheurs du CERTIS devenu LIGM