Retour au reportage Retour au reportage
20210159_0090

© Christian MOREL / IRIF / CNRS Images

Reference

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.

CNRS Institute(s)

Regional office(s)

Scientific topics

CNRS Images,

Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.