Inria
Inria.fr
Inria Channel
Domaine de recherche
Défis scientifiques
Le centre Inria Nancy – Grand Est développe une activité soutenue dans le secteur des sciences et techniques de l’information (STIC). Il est un acteur majeur dans l'informatique, les mathématiques appliquées et l’automatique. Il s'intéresse également à des thématiques pluridisciplinaires situées à la confluence des STIC et d'autres secteurs scientifiques, notamment les sciences du vivant, la physique et les sciences humaines et sociales. Notre centre a aussi de forts engagements liés au transfert technologique. Son emplacement au cœur d’une grande région transfrontalière, ainsi que ses partenariats industriels et universitaires, constituent un atout indéniable pour mener à bien ses enjeux.
Trois domaines de recherche prioritaire
Le centre de recherche Inria Nancy - Grand Est développe prioritairement ses activités suivant trois thématiques.
La première porte sur la modélisation et l’analyse des capacités cognitives qui nous rendent humains – notre capacité à percevoir, raisonner, communiquer et utiliser de l’information.
La complexité et la taille des systèmes physiques ou biologiques que l’on veut modéliser, simuler ou contrôler (les systèmes complexes) pose de vrais défis scientifiques, qui font l’objet de notre seconde thèmatique prioritaire. Nous nous attaquons à des problèmes d’identification, de contrôle et d’optimisation pour des systèmes de grande taille couplant des dynamiques différentes. Ces systèmes peuvent concerner des domaines aussi variés que la physique des plasmas, l’informatique graphique, ou les systèmes biologiques complexes
Les questions de sûreté et de sécurité des systèmes intégrant du logiciel jouent un rôle primordial et constituent notre troisième thématique prioritaire. Nous nous intéressons tant à l’infrastructure logicielle qu’à des réseaux de télécommunication ou à des systèmes embarqués. Les recherches portent sur la conception de logiciels sûrs, la vérification de propriétés sur des systèmes et sur d'autres sujets clés en sécurité informatique, telles que la protection contre les attaques ou la vérification de protocoles cryptographiques.
