Les résultats de recherche pour :

Un labre géant ou napoléon (Cheilinus undulatus), atoll de Fakarava, archipel des Tuamotu, Polynésie française.

Un labre géant ou napoléon (Cheilinus undulatus), atoll de Fakarava, archipel des Tuamotu, Polynésie française.

© Thomas Vignaud / CNRS Photothèque

Uniquement disponible pour exploitation non commerciale

Portrait d'Yvonne Jansen, Médaille de bronze 2023 du CNRS, chargée de recherche CNRS en interaction humain-machine au Laboratoire bordelais de recherche en informatique. Les travaux d'Yvonne Jansen ont pour but de faciliter l'accès aux données pour des non-experts à travers des visualisations au-delà des écrans classiques de bureau. Pendant sa thèse à l'université Paris-Sud, elle se concentre sur les techniques de visualisation physique (histogrammes créés par…

Ajouter au panier

Portrait de Sophie Abby, Médaille de bronze 2023 du CNRS, chercheuse en biologie évolutive au laboratoire Recherche translationnelle et innovation en médecine et complexité, spécialiste des mécanismes de diversification des procaryotes. Riche d'une double formation en biologie et en sciences computationnelles, Sophie Abby s'intéresse aux mécanismes d'évolution chez les procaryotes (bactéries et archées). La chercheuse conçoit des méthodes de calcul dans l'objectif d'analyser…

Ajouter au panier

Le GDS EcoInfo est un groupement de service du CNRS qui oeuvre à la réduction des impacts négatifs environnementaux et sociétaux du numérique par des actions d'évaluation, de sensibilisation, de formation, ainsi que par des expertises scientifiques. Ce groupe repose sur un noyau d'une soixantaine de scientifiques appartenant majoritairement à des structures du CNRS et touche plus largement plusieurs centaines de personnes du monde académique à travers des débats internes et des milliers d…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Le réseau RENATECH est un réseau national du CNRS distribué en cinq grandes centrales de technologies localisées à Palaiseau, Lille, Besançon, Toulouse et Grenoble. L'équipe, constituée de représentants de chacune de ces centrales et de développeurs informatiques de l'Institut d'électronique, de microélectronique et de nanotechnologie, a lancé une nouvelle application : REPOTECH. Elle permet de gérer les demandes de faisabilité ou de projets afin d'accéder aux équipements technologiques du…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Portrait d'Edouard Bonnet, Médaille de bronze 2023 du CNRS, chargé de recherche en théorie des graphes au Laboratoire de l'informatique du parallélisme. Édouard Bonnet est algorithmicien, spécialisé dans la théorie des graphes. Champ essentiel de l'informatique, les graphes sont des objets fondamentaux qui permettent de représenter des problèmes très variés issus d'autres disciplines. Il s'est attelé à cette thématique dès sa thèse et a poursuivi avec des post-doctorats en Hongrie, au…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Portrait de Sophie Gaillard, Médaille de cristal 2023 du CNRS, ingénieure en expérimentations précliniques IRM au Centre de recherche en acquisition et traitement d'images pour la santé (Creatis). Au sein du laboratoire Creatis, Sophie Gaillard est ingénieure en techniques expérimentales sur la plateforme d'imagerie PILoT. Elle assure le suivi, la maintenance et la métrologie de l'ensemble des équipements IRM. En plus de concevoir des protocoles, elle réalise différentes acquisitions…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Portrait d'Adrien Guénard, Médaille de cristal 2023 du CNRS, responsable technique de la plateforme Creativ'Lab robotique et Systèmes cyber-physiques du Laboratoire lorrain de recherche en informatique et ses applications (Loria). À son arrivée au Loria en 2018, Adrien Guénard crée le Creativ'Lab dont il est désormais le responsable technique. Cette plateforme fait rapidement office de vitrine aux expertises du laboratoire sur des problématiques allant des interactions humain-machine à…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Directeur de recherche CNRS, Marc Antonini est spécialisé dans la compression de données, qu'il s'agisse d'images, de vidéos ou de modèles 3D. Ses travaux de doctorat ont par exemple servi pour la norme JPEG 2000, et ses premiers travaux au CNRS, en collaboration avec le CNES, ont permis de développer un des systèmes embarqués dans les satellites Pléiades (couple de deux satellites optiques d'observation de la Terre). Auteur de treize brevets, Marc Antonini a régulièrement collaboré avec…

Ajouter au panier

Uniquement disponible pour exploitation non commerciale

Portrait de Sandrine Blazy, médaille d'argent du CNRS 2023, professeure à l'université de Rennes, membre de l'Institut de recherche en informatique et systèmes aléatoires, spécialiste de sciences du logiciel. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs. Sa contribution se concentre sur les outils informatiques qui permettent à un programme écrit de devenir exécutable : les compilateurs. Traditionnellement, ces outils indispensables ne sont pas…

Ajouter au panier

Patricia Rousselle, Marc Antonini, Jacques Gierak et Claire Hellio sont les quatre lauréats de la médaille de l'innovation 2023 du CNRS. Créée depuis une dizaine d’années, cette distinction honore des recherches issues des laboratoires placés sous la tutelle du CNRS qui ont conduit à des innovations marquantes sur le plan technologique, économique, thérapeutique et social. La médaille leur sera remise le mardi 14 novembre prochain.

Ajouter au panier

Patricia Rousselle, Marc Antonini, Jacques Gierak et Claire Hellio sont les quatre lauréats de la médaille de l'innovation 2023 du CNRS. Créée depuis une dizaine d’années, cette distinction honore des recherches issues des laboratoires placés sous la tutelle du CNRS qui ont conduit à des innovations marquantes sur le plan technologique, économique, thérapeutique et social. La médaille leur sera remise le mardi 14 novembre prochain.

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, en discussion avec Leonardo Hidd Fonteles et Anis Meftah devant un écran affichant la plateforme Cintoo Cloud, développée par la start-up Cintoo qu’ils ont cofondée. Elle se consacre à la visualisation et la diffusion de nuages de points 3D issus de scanners terrestres et aéroportés pour le travail collaboratif dans l’industrie et la construction. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, Leonardo Hidd Fonteles et Anis Meftah, cofondateurs de la start-up Cintoo. Elle se consacre à la visualisation et la diffusion de nuages de points 3D issus de scanners terrestres et aéroportés pour le travail collaboratif dans l’industrie et la construction. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, Leonardo Hidd Fonteles et Anis Meftah, cofondateurs de la start-up Cintoo. Elle se consacre à la visualisation et la diffusion de nuages de points 3D issus de scanners terrestres et aéroportés pour le travail collaboratif dans l’industrie et la construction. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023. Cet expert en compression de données dirige l’équipe MediaCoding du Laboratoire d’informatique, signaux et systèmes de Sophia Antipolis (I3S), qui coopère avec de nombreux industriels. Ses travaux lui ont permis de cofonder la start-up Cintoo, consacrée à la capture et la visualisation de nuages de points 3D issus de scanners LiDAR, notamment pour l’industrie et la construction. Plus récemment, ses recherches se sont focalisées…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode, réfléchissent à la problématique de compression de données et leur stockage. PearCode propose aux organisations désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, durable et garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Ajouter au panier

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, qui garantit la durabilité du stockage, l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du…

Ajouter au panier

L'exposition « Sport et science, l’union fait la force » a été conçue par le CNRS en partenariat avec la RATP. Cette fresque a été affichée dans le couloir du métro parisien à la Station Montparnasse-Bienvenüe du 11 mai au 6 juillet 2023. Elle a obtenu le label « Olympiade culturelle » de Paris 2024 : https://olympiade-culturelle.paris2024.org/

Le robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la plateforme…

Ajouter au panier

Œil du robot humanoïde Neachy. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Ajouter au panier

Le robot humanoïde Neachy saisissant un objet. Sa tête expressive affiche un sourire. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier…

Ajouter au panier

La main du robot humanoïde Neachy tenant un objet. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En…

Ajouter au panier

Tête expressive du robot humanoïde Neachy affichant un sourire. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

Ajouter au panier

Tête expressive du robot humanoïde Neachy sans expression faciale. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de…

Ajouter au panier

La main du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Ajouter au panier

Scientifique serrant la main du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain…

Ajouter au panier

Droits restreints, nous contacter

Manipulation du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Ajouter au panier

Droits restreints, nous contacter

Contact visuel avec le robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En…

Ajouter au panier

Droits restreints, nous contacter

Manipulation du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Ajouter au panier

Droits restreints, nous contacter

Le robot humanoïde Neachy donnant un objet à un scientifique. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

Ajouter au panier

Droits restreints, nous contacter

Le robot humanoïde Neachy donnant un objet à un scientifique. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

Ajouter au panier

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023. 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 un programme sûr en un programme exécutable contenant des bugs. Sandrine Blazy s’appuie sur la…

Ajouter au panier

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…

Ajouter au panier

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…

Ajouter au panier

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…

Ajouter au panier

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.