Search results for:

Scientists immersed in a three-dimensional digital representation of Notre-Dame Cathedral in Paris

Scientists immersed in a three-dimensional digital representation of Notre-Dame Cathedral in Paris

© Cyril Frésillon / Dassault Systèmes / CNRS / Cité de l’Architecture et du Patrimoine / EPRNDP

L'Académie norvégienne des sciences et des lettres a décidé d'attribuer le prix Abel 2024 à Michel Talagrand, qui a effectué sa carrière de chercheur au CNRS. L'équivalent du prix Nobel des mathématiques lui est décerné «pour ses contributions révolutionnaires à la théorie des probabilités et à l'analyse fonctionnelle, avec des applications remarquables en physique mathématique et en statistique». Michel Talagrand est ainsi distingué pour ses travaux en théorie des probabilités et…

This software scientist's research is aimed at developing secure software. Her contribution focuses on the IT tools that enable a written programme to become executable: compilers.

Only available for non-commercial distribution

Portrait d'Elise Goujard, Médaille de bronze 2023 du CNRS, maîtresse de conférences en géométrie à l'université de Bordeaux, spécialiste des problèmes de comptage sur des surfaces plates et leurs espaces de modules, au sein de l'Institut de mathématiques de Bordeaux. Dans le cadre de ses recherches, Élise Goujard s'intéresse, plus ou moins, au billard. Ce n'est pas le sport qui la fascine, mais plutôt la géométrie et la dynamique des trajectoires d'une bille dans un…

Only available for non-commercial distribution

Portrait de Sophie Achard, Médaille d'argent 2023 du CNRS, directrice de recherche en statistiques des réseaux, appliquées aux neurosciences au Laboratoire Jean Kuntzmann. Les recherches de Sophie Achard permettent d'analyser des réseaux sur lesquels se propagent des signaux. En utilisant pour la première fois la théorie des graphes en neurosciences, elle a remarquablement contribué à la compréhension du fonctionnement du cerveau humain. Ses recherches en collaboration ont également…

Only available for non-commercial distribution

Portrait de Henri Duvillard, Médaille de cristal 2023 du CNRS, assistant bibliothécaire au sein de l'Institut Henri Poincaré (IHP). Depuis 2016, Henri Duvillard occupe les fonctions d'assistant bibliothécaire au sein de l'Institut Henri Poincaré, centre de recherche international en mathématiques et physique théorique fondé par Émile Borel, qui promeut et accueille des échanges scientifiques internationaux au plus haut niveau depuis près d'un siècle. L'IHP dispose en particulier d…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Avant d'entamer une preuve mathématique (une démonstration) vérifiée par ordinateur, Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, réfléchit aux grandes lignes de la démonstration et aux principes de raisonnement à appliquer. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement…

In 2019, the CNRS launched a partnership with the ACFAS to organise the French edition of La Preuve par l’Image, an annual photo competition first held in Quebec in 2010. For this fourth CNRS edition, researchers were again invited to submit their best scientific images. The competition challenges participants to showcase their research by means of eye-catching, thought-provoking images rather than words.

Only available for non-commercial distribution

Le "Cool Boole School Game" est un jeu sérieux d'évaluation et d'apprentissage de la cognition logique. Il propose un nouveau mode d'évaluation et d'apprentissage de la cognition en logique mathématique des enfants, qui cible l'acquisition des connecteurs booléens ET, OU, NON et leurs combinaisons : lois de double négation ou de Morgan. Développer un mode ludique et interactif d'évaluation du raisonnement logique par le jeu, mais qui ne passe pas par le langage, permet de déterminer si des…

Only available for non-commercial distribution

Portrait de Vincenzo De Risi, médaille de bronze du CNRS 2022, chargé de recherche au laboratoire Sciences philosophie histoire (SPHERE), spécialiste de l'histoire de la philosophie et des sciences, et de Kant, Euclide et Leibniz Rattaché à un laboratoire français et détenteur d'une double nationalité italienne et allemande, Vincenzo De Risi incarne la réussite d'une recherche européenne s'affranchissant des frontières. Il tisse des liens entre l'histoire de la philosophie et…

Only available for non-commercial distribution

Directeur de recherche émérite au CNRS et secrétaire perpétuel de l'Académie des sciences depuis 2019, Étienne Ghys a fortement contribué à développer la diffusion des mathématiques en France. Livres grand public, films à utiliser en classe par les enseignants, livre audio dédié aux malvoyants, pilotage de l'Année des mathématiques, site web, conférences, passage dans les médias… Le chercheur varie autant les supports que les publics et les sujets. Fervent défenseur de l'utilisation…

Only available for non-commercial distribution

Portrait de Penka Georgieva, médaille de bronze du CNRS 2022, professeure à Sorbonne Université, spécialiste internationale de la géométrie symplectique et tout particulièrement des invariants de Gromov-Witten. Depuis son doctorat obtenu en 2011, Penka Georgieva travaille à bâtir une théorie complète des invariants de Gromov-Witten réels. Les invariants de Gromov-Witten permettent de compter le nombre de courbes répondant à des critères prédéfinis dans les variétés symplectiques. Ils…

Only available for non-commercial distribution

Portrait de Sepideh Mirrahimi, médaille de bronze 2022, directrice de recherche au CNRS à l'Institut montpelliérain Alexander Grothendieck, spécialiste en modélisation mathématique pour la biologie. Docteure en mathématiques appliquées à la biologie de l'université Pierre et Marie Curie à Paris, Sepideh Mirrahimi est recrutée en 2012, après un postdoctorat à l'École polytechnique à Palaiseau, comme chargée de recherche CNRS à l'Institut de mathématiques de Toulouse puis devient…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (en bleu) et les comptes relayant des thèses climatosceptiques (en rouge). Cette image a été générée à…

Localisation des comptes Twitter, actifs en 2022, ayant participé aux principales campagnes d'influence et de désinformation abordées dans l'ouvrage "Toxic data". Les comptes qui ont participé à la diffusion de fausses nouvelles (fake news) en 2017 sont en bleu et violet, ceux qui ont pris part à des campagnes en 2021-2022 sont en orange. En rose, les comptes ayant diffusé des fausses nouvelles durant ces deux périodes qui correspondent aux 11e et 12e élections présidentielles françaises. Les…

Twittersphère politique de l’automne 2021 (1er octobre 2021-16 janvier 2022). Quelques mois avant les douzièmes élections présidentielles françaises, les communautés constituées autour de Florian Philippot (29,39 %) et autour d’Éric Zemmour (20,15 %) dominent le paysage. Ces deux communautés d’extrême droite étaient quasiment inexistantes avant la pandémie de COVID-19. Une bonne partie du Rassemblement national (RN) a migré dans la communauté d’Éric Zemmour, ainsi que certains ténors des…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Internal and Press use only

Hugo Duminil-Copin est un probabiliste. Ses travaux portent sur la branche mathématique de la physique statistique. Il utilise des idées provenant de la théorie des probabilités pour étudier le comportement critique de divers modèles sur réseaux tels que les modèles d’Ising, de Potts, de marches auto-évitantes, et de percolation. Ces objets mathématiques décrivent un certain nombre de phénomènes physiques (tels que la magnétisation, les polymères, la porosité des matériaux, etc.) en les…

Close-up view of a surface representing hyperbolic space and its boundary at infinity. The existence of such a surface was predicted by the mathematician John Nash in the 1950s. It has now actually been constructed, with the help of computers, by a team of scientists, who are attempting to visualise paradoxical mathematical objects. This surface, resulting from an infinite entanglement of corrugations (or folds), has an astonishing property: the shortest path between a point on its sinuous edge…

Hyperbolic geometry, introduced in the nineteenth century, is a mathematical field that has profoundly transformed the way geometry has been taught since antiquity. In this space with unusual properties, light does not travel in a straight line but along geodesics, the shortest curves between two points, thus altering our visual perception of the world. Scientists have developed an application that simulates in real time what the “inhabitants” of such a universe would see. The image features a…

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Academic in computer science and applied mathematics at the Toulouse Institute for Computer Science Research (IRIT), he studies and develops numerical optimisation algorithms used for statistics and artificial intelligence.

A teacher-researcher in the Algebra and Geometries team at the Laboratoire angevin de recherche en mathématiques (Larema), she specialises in birational geometry.

Only available for non-commercial distribution

There is a branch of mathematics capable of modelling epidemics: finding the point of origin, studying the spread according to the characteristics of the virus, but also thinking of ways to limit the spread in very specific situations. For instance, mathematicians are working on models to adapt a school's timetable, optimise the layout of hospital beds and even study the places most affected by contamination. More importantly, the study of epidemics could create new ways for mathematicians to…

Only available for non-commercial distribution

Portrait de Gabriel Peyré, lauréat de la médaille d'argent du CNRS 2021, directeur de recherche en intelligence artificielle au Département de mathématiques et applications de l'École normale supérieure et spécialiste en science des données. " Je travaille sur la théorie du transport optimal et ses applications à l'imagerie et l'apprentissage machine. Formulé par le mathématicien Gaspard Monge au XVIIIe siècle, le transport optimal cherche le moyen le plus économique pour…

Only available for non-commercial distribution

Portrait de Rémi Bardenet, médaille de bronze du CNRS 2021, chercheur au sein de l'équipe Signaux, modèles et applications du Centre de recherche en informatique, signal et automatique de Lille. "Adolescent, je voulais faire de la recherche pour deux raisons : toucher du doigt les limites de la connaissance et ne pas me lever trop tôt le matin ! Si j'ai abandonné mes rêves de sommeil, travailler au CNRS me donne l'opportunité de jouer quotidiennement avec l…

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann, chercheuse en géométrie algébrique, devant un outil de travail essentiel pour les mathématiques fondamentales : un tableau noir. Au sein du Laboratoire angevin de recherche en mathématiques (Larema), elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020. Elle réfléchit ici au tableau noir, un outil parfait pour esquisser des réflexions, modifier facilement des dessins et des équations, devant lesquels il est possible de discuter à plusieurs.

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020, dans son bureau au Laboratoire angevin de recherche en mathématiques à Angers (Larema). Elle repense à un théorème qu'elle pense avoir démontré la veille avant de s'endormir. Elle esquisse ses réflexions et preuves d'abord sur papier, puis les retranscrit en détail sur son ordinateur. Sur le tableau noir figurent ses objets de recherche, des familles de coniques qu'elle étudie en collaboration avec Ivan…

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020, dans son bureau au Laboratoire angevin de recherche en mathématiques à Angers (Larema). Elle vérifie un théorème qu'elle pense avoir démontré la veille. Elle sourit car le théorème et la preuve qu'elle a trouvée sont corrects. Ce plaisir est la motivation principale de Susannna Zimmermann à faire de la recherche en mathématiques fondamentales et contribue à la passion qu'elle a d'exercer son métier.

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020. Ici, elle est à la recherche d'un endroit calme dans la nature, à l'écart des gens et des préoccupations du quotidien, pour se détendre et retrouver la créativité nécessaire à sa réflexion. Selon Susanna Zimmermann, les meilleures idées viennent au cours d'une balade, sous la douche ou avant de s'endormir.

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.