Retour au reportage Retour au reportage
20210159_0090

© Christian MOREL / IRIF / CNRS Images

Référence

20210159_0090

Quatre doctorants de l’IRIF partagent leur sujet de recherche

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification. L’IRIF effectue aussi une recherche interdisciplinaire mettant à profit sa démarche scientifique.

Institut(s)

Délégation(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.