Un centre de recherche au cur de lEurope

1
Un centre de recherche au cur de lEurope
3 janvier 2008
2

• Centre de recherche INRIA Nancy - Grand Est
• Présentation

3
Centre de rechercheINRIA Nancy - Grand Est

• Une grande partie des équipes - projets de
  recherche sont communes avec le CNRS et les trois
  universités lorraines au sein d'une Unité Mixte
  de Recherche, le LORIA ( Laboratoire Lorrain de
  Recherche en Informatique et ses Applications).
• Quelques équipes - projets sont menées dans le
  cadre d'une autre UMR, l' IECN (Institut Elie
  Cartan de Nancy).
• D'autres encore, sont bi-localisées avec Metz,
  Strasbourg et Besançon.

4
Thèmes de prédilection

• Traitement de la langue et des connaissances
• Analyse, optimisation et contrôle des systèmes
  complexes
• Sûreté et sécurité des systèmes informatiques
• Perception, action, cognition.

5
Quelques chiffres

• 27 équipes de recherche dont 17 équipes-projets
  INRIA
• 400 personnes réparties dans les équipes et
  services support à la recherche
• 140 doctorants et 30 post-doctorants accueillis
  dans les équipes
• 30 thèses environ soutenues par an

6

• Organisation
• Services supports
• Instances

7
Services de support à la recherche

• S'organisent autour des chercheurs pour soutenir
  leurs travaux et faire vivre le Laboratoire
• COMM service communication
• IST service information scientifique et
  technique
• RIV service relations industrielles et
  valorisation
• SAF service administratif et financier
• SeSAR service de soutien administratif à la
  recherche
• SG services généraux
• SI services informatiques
• SRH service des ressources humaines

8
Instances

• Assistent la direction du centre de recherche
  dans ses fonctions, et garantissent la cohérence
  de la politique scientifique et le bon
  fonctionnement au quotidien.
• Équipe de Direction
• Comité des Projets
• Comité de Gestion
• Comité Hygiène et Sécurité
• Comité de recrutement des Personnels
  contractuels
• Comité des utilisateurs des Moyens Informatiques
• Commission Information Scientifique et Technique
• Commission Formation

9

• Activités scientifiques
• Thèmes de recherche et équipes - projets
• Compétences et domaines dapplication
• Formation
• Partenariats

10
Organisation de la recherche

• Chaque équipe - projet regroupe
• des chercheurs
• des enseignants - chercheurs
• des doctorants
• des post-doctorants
• autour d'un projet de recherche régulièrement
  évalué.

11
Thèmes de recherche

• Les équipes - projets se structurent suivant 4
  thèmes de recherche et offrent des compétences
  scientifiques variées dans plusieurs domaines
  dapplication.
• Thème Com systèmes communicants
• Thème Cog systèmes cognitifs
• Thème Sym systèmes symboliques
• Thème Num systèmes numériques

12
Systèmes communicants

• MADYNES Supervision des Réseaux et des
  Services Dynamiques
• TRIO Temps Réel et InterOpérabilité

13
Systèmes cognitifs

• ALICE Géométrie et Lumière
• CORTEX Intelligence neuromimétique
• ECOO Environnements pour la COOpération
• MAGRIT Augmentation visuelle d'environnements
  complexes
• MAIA MAchine Intelligente Autonome
• MERLIN Méthodes pour l'Ergonomie des Logiciels
  Interactifs
• ORPAILLEUR Extraction et représentation de
  connaissances
• PAROLE Analyse, Perception et Reconnaissance
  automatique de la parole
• QGAR Navigation dans les documents graphiques
  par l'analyse et la reconnaissance

14
Systèmes symboliques

• CACAO Courbes, Algèbre, Calculs, Arithmétique
  des Ordinateurs
• CALLIGRAMME Logique Linéaire, Réseaux de
  Démonstration et Grammaires Catégorielles
• CASSIS Combinaison d'Approches pour la
  Sécurité des Systèmes InfiniS
• MOSEL Méthodes formelles et applications
• PROTHEO Contraintes, déduction automatiques et
  preuves de propriétés de logiciels
• TALARIS Traitement Automatique des Langues
  Représentations, Inférences et Sémantique
• VEGAS Algorithmes géométriques effectifs pour
  la visibilité et les surfaces

15
Systèmes numériques

• ALGORILLE Algorithmes pour la Grille
• CALVI Calcul scientifique et visualisation
• CORIDA Contrôle robuste infini - dimensionnel
  et applications
• TOSCA Simuler et calibrer des modèles
  stochastiques

16
Compétences scientifiques

• Algorithmique
• Algorithmique arithmétique, combinatoire,
  numérique et distribuée géométrie algorithmique
  optimisation ordonnancement complexité
  algorithmique
• Systèmes formels et systèmes de connaissances
• Logique du premier ordre, logiques
  temporelles et modales, théorie des types, lambda
  - calcul, grammaires formelles, déduction
  automatique, représentations structurées et
  formalisation du raisonnement, fouille de données
• Méthodes statistiques, probabilistes et
  stochastiques
• Modèles décisionnels de Markov, réseaux
  Bayésiens, modèles de Markov cachés, réseaux de
  neurones, apprentissage statistique, modèles
  stochastiques

17
Principaux domaines dapplication

• Réseaux, internet, Web
• Sécurité des systèmes informatiques
• Réalité virtuelle
• Robotique
• Bioinformatique
• Santé

18
Manifestations scientifiques

• Diffusion des connaissances
• Colloques nationaux et internationaux
• Écoles
• Séminaires

19
Formation

• Formation par la recherche
• thèses en informatique, automatique et calcul
  scientifique soutenues chaque année après
  préparation dans une équipe - projet INRIA
• Encadrement doctorants
• Accueil d'ingénieurs et de stagiaires français et
  étrangers (postes daccueil, programme
  Internship)
• Formation post-doctorale
• Accueil de jeunes chercheurs étrangers
• Bourses ERCIM dans les pays européens
• Séjour post-doctoral à létranger
• Bourses pour des post-docs industriels

20
Relations internationales

• 120 projets de coopération avec une trentaine de
  pays du monde. Accueil de scientifiques
  étrangers, de quelques semaines à un an.
• Partenariats transfrontaliers accord de
  coopération franco-allemand en informatique, The
  Lorraine - Saarland Workshop Series, Luxembourg
• Échanges européens consortium ERCIM, Programme
  Cadre de Recherche et Développement
• Un réseau mondial de collaborations (Tunisie,
  Inde, Pays-Bas, Etats-Unis )

21

• Valorisation
• Partenariats industriels
• Expertise
• Création dentreprise

22
Partenariats industriels et valorisation

• Politique active dans le développement de
  partenariats et d'activités de transfert.
• Solutions adaptées à une large gamme de besoins
  (conseil, collaborations ponctuelles, programmes
  pluriannuels de RD,...).

23
Domaines d'expertise

• Bioingénierie et sciences du vivant
• Calcul distribué - Grilles de calculateurs
• Environnement
• Ingénierie logicielle
• Outils pour la conception de produits et systèmes
• Santé
• Cryptographie - Sécurité
• Systèmes dinformation étendus via Internet
• Systèmes interactifs multimédia et audiovisuel
• Télécommunications
• Recherche d'informations dans les documents
  électroniques
• Transports

24
Logiciels

• Coopération, collaboration, communication sur
  Internet
• Edition de documents pour le Web
• Géométrie, algèbre, arithmétique et combinatoire
• Langages de programmation
• Outils et langages pour les systèmes temps réel
• Outils pour les langages
• Outils pour les réseaux et le sans fil
• Outils pour les systèmes communicants
• Outils pour l'animation, la simulation et la
  réalité virtuelle
• Preuves
• STIC et Sciences de la vie
• Systèmes et simulation de systèmes
• Traitement des connaissances
• Traitement des langues naturelles
• Traitement des images

25
Création d'entreprise

• Transformer les résultats de recherche en
  activités économiques innovantes.
• Soutien à la création d'entreprise
• Espace transfert lieu où des créateurs
  d'entreprise préparent leur projet avant et après
  sa création.
• Collaboration avec l'incubateur lorrain et les
  structures locales
• Actions complémentaires au soutien à la création
  d'entreprise de l'INRIA au niveau national
  groupe  Initiative Créativité Innovation