20240040_0004
Open media modal

Private company staff

Extraction et purification d'enzymes nécessaires à l'assemblage, avec la technologie CBU (Continuous Biodata Unit) de Biomemory, de fichiers en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre…

Photo
20240040_0004
Extraction et purification d'enzymes pour l'assemblage de fichiers en ADN, à Biomemory
20240040_0005
Open media modal

Private company staff

Extraction et purification d'enzymes nécessaires à l'assemblage, avec la technologie CBU (Continuous Biodata Unit) de Biomemory, de fichiers en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre…

Photo
20240040_0005
Extraction et purification d'enzymes pour l'assemblage de fichiers en ADN, à Biomemory
20240020_0001
Open media modal

Déambulation dans la chapelle axiale de la cathédrale Notre-Dame de Paris restaurée après l’incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en complément du travail en…

Photo
20240020_0001
Déambulation dans la cathédrale Notre-Dame de Paris après restauration grâce à la réalité virtuelle
20240020_0002
Open media modal

Déambulation au sein des 1 milliard 400 millions de points de la numérisation de la cathédrale Notre-Dame de Paris, effectuée par Andrew Tallon dans les années 2010, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique qui a suivi l'incendie de 2019. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles…

Photo
20240020_0002
Déambulation dans la numérisation de Notre-Dame de Paris avant l'incendie, dans la réalité virtuelle
20240020_0003
Open media modal

Manipulation d’un vestige de poutre calcinée numérisé pour valider sa localisation sur l’extrados des voutes de la cathédrale Notre-Dame de Paris après l'incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les…

Photo
20240020_0003
Manipulation d’un vestige de poutre calcinée de la cathédrale Notre-Dame de Paris grâce à la réalité virtuelle
20240020_0004
Open media modal

Manipulation d’un vestige de poutre calcinée numérisé pour valider sa localisation sur l’extrados des voutes de la cathédrale Notre-Dame de Paris après l'incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les…

Photo
20240020_0004
Manipulation d’un vestige de poutre calcinée de la cathédrale Notre-Dame de Paris grâce à la réalité virtuelle
20240057_0014
Open media modal

Attention image subject to restrictions contact us

Eleni Diamanti, lauréate de la médaille de l'innovation du CNRS 2024, et des collaborateurs de la start-up Welinq. Ils discutent des algorithmes de calcul quantique et des architectures des réseaux de communication quantique. Welinq développe une solution d'interconnexion de processeurs quantiques qui permettra la montée en puissance du calcul quantique et le déploiement d'infrastructures de communication quantique sur de longues distances. Cette innovation est issue de recherches menées par…

Photo
20240057_0014
Eleni Diamanti et des collaborateurs de la start-up Welinq
20240057_0015
Open media modal

Attention image subject to restrictions contact us

Eleni Diamanti, lauréate de la médaille de l'innovation du CNRS 2024, et un collaborateur de la start-up Welinq. Ils discutent des algorithmes de calcul quantique et des architectures des réseaux de communication quantique. Welinq développe une solution d'interconnexion de processeurs quantiques qui permettra la montée en puissance du calcul quantique et le déploiement d'infrastructures de communication quantique sur de longues distances. Cette innovation est issue de recherches menées par…

Photo
20240057_0015
Eleni Diamanti et un collaborateur de la start-up Welinq
20240057_0016
Open media modal

Attention image subject to restrictions contact us

Eleni Diamanti, lauréate de la médaille de l'innovation du CNRS 2024, et un collaborateur de la start-up Welinq. Ils discutent des algorithmes de calcul quantique et des architectures des réseaux de communication quantique. Welinq développe une solution d'interconnexion de processeurs quantiques qui permettra la montée en puissance du calcul quantique et le déploiement d'infrastructures de communication quantique sur de longues distances. Cette innovation est issue de recherches menées par…

Photo
20240057_0016
Eleni Diamanti et un collaborateur de la start-up Welinq
20240057_0013
Open media modal

Attention image subject to restrictions contact us

Eleni Diamanti, lauréate de la médaille de l'innovation du CNRS 2024, et des collaborateurs de la start-up Welinq. Ils discutent des algorithmes de calcul quantique et des architectures des réseaux de communication quantique. Welinq développe une solution d'interconnexion de processeurs quantiques qui permettra la montée en puissance du calcul quantique et le déploiement d'infrastructures de communication quantique sur de longues distances. Cette innovation est issue de recherches menées par…

Photo
20240057_0013
Eleni Diamanti et des collaborateurs de la start-up Welinq
20240040_0002
Open media modal

Private company staff

Extraction et purification d'enzymes nécessaires à l'assemblage, avec la technologie CBU (Continuous Biodata Unit) de Biomemory, de fichiers en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre…

Photo
20240040_0002
Extraction et purification d'enzymes pour l'assemblage de fichiers en ADN, à Biomemory
20240040_0003
Open media modal

Extraction et purification d'enzymes nécessaires à l'assemblage, avec la technologie CBU (Continuous Biodata Unit) de Biomemory, de fichiers en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre…

Photo
20240040_0003
Extraction et purification d'enzymes pour l'assemblage de fichiers en ADN, à Biomemory
20240040_0001
Open media modal

Private company staff

Extraction et purification d'enzymes nécessaires à l'assemblage, avec la technologie CBU (Continuous Biodata Unit) de Biomemory, de fichiers en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre…

Photo
20240040_0001
Extraction et purification d'enzymes pour l'assemblage de fichiers en ADN, à Biomemory
20240040_0006
Open media modal

Stéphane Lemaire, directeur technique et co-fondateur de Biomemory. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de longs fragments d…

Photo
20240040_0006
Stéphane Lemaire à Biomemory
20240040_0007
Open media modal

Private company staff

Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier d'un kilooctet. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à…

Photo
20240040_0007
Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier, à Biomemory
20240040_0008
Open media modal

Private company staff

Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier d'un kilooctet. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à…

Photo
20240040_0008
Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier, à Biomemory
20240040_0009
Open media modal

Private company staff

Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier d'un kilooctet. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à…

Photo
20240040_0009
Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier, à Biomemory
20240040_0010
Open media modal

Private company staff

Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier d'un kilooctet. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à…

Photo
20240040_0010
Assemblage enzymatique automatisé de bioblocs d'ADN pour l'écriture d'un fichier, à Biomemory
20240040_0011
Open media modal

Private company staff

Lecture par séquençage nouvelle génération d'un fichier d'un kilooctet assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir…

Photo
20240040_0011
Lecture par séquençage nouvelle génération d'un fichier assemblé en ADN, à Biomemory
20240040_0013
Open media modal

Private company staff

Lecture par séquençage nouvelle génération d'un fichier d'un kilooctet assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir…

Photo
20240040_0013
Lecture par séquençage nouvelle génération d'un fichier assemblé en ADN, à Biomemory
20240040_0012
Open media modal

Private company staff

Lecture par séquençage nouvelle génération d'un fichier d'un kilooctet assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir…

Photo
20240040_0012
Lecture par séquençage nouvelle génération d'un fichier assemblé en ADN, à Biomemory
20240040_0015
Open media modal

Lecture par séquençage nouvelle génération d'un fichier d'un kilooctet assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir…

Photo
20240040_0015
Lecture par séquençage nouvelle génération d'un fichier assemblé en ADN, à Biomemory
20240040_0014
Open media modal

Private company staff

Lecture par séquençage nouvelle génération d'un fichier d'un kilooctet assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir…

Photo
20240040_0014
Lecture par séquençage nouvelle génération d'un fichier assemblé en ADN, à Biomemory
20240040_0016
Open media modal

Private company staff

Assemblage du module d'écriture du prototype de l'appareil Vision 2030 de Biomemory. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de…

Photo
20240040_0016
Assemblage du module d'écriture du prototype de l'appareil Vision 2030 de Biomemory
20240040_0017
Open media modal

Photo of a private company, company name must quoted outside photo credits

"DNA card" contenant la devise olympique encodée et assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de longs fragments d…

Photo
20240040_0017
"DNA card" de Biomemory, contenant la devise olympique encodée et assemblé en ADN
20240040_0018
Open media modal

Photo of a private company, company name must quoted outside photo credits

"DNA card" contenant la devise olympique encodée et assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de longs fragments d…

Photo
20240040_0018
"DNA card" de Biomemory, contenant la devise olympique encodée et assemblé en ADN
20240040_0020
Open media modal

Photo of a private company, company name must quoted outside photo credits

Kit de deux "DNA cards" contenant un fichier encodé et assemblé en ADN. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de longs…

Photo
20240040_0020
Kit de deux "DNA cards" de Biomemory contenant un fichier encodé et assemblé en ADN
20240040_0021
Open media modal

Photo of a private company, company name must quoted outside photo credits

Prototype de Vision 2030 de Biomemory, un équipement capable d'écrire, de lire et stocker jusqu'à un exaoctet de données et compatible avec les structures actuelles des centres de données. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle…

Photo
20240040_0021
Prototype de Vision 2030 de Biomemory
20240040_0022
Open media modal

Photo of a private company, company name must quoted outside photo credits

Module rackable du prototype de l'équipement de stockage sur ADN de Biomemory, prévue pour 2030. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à…

Photo
20240040_0022
Module rackable du prototype de l'appliance de stockage sur ADN de Biomemory
20240040_0019
Open media modal

Photo of a private company, company name must quoted outside photo credits

Prototype d'une "DNA card" d'une capacité d'un pétaoctet. Biomemory est une deeptech française à la croisée de la biotechnologie et de l'informatique, spécialisée dans le stockage de données moléculaires. Sa solution repose actuellement sur trois technologies propriétaires et vise à stocker l'information sur de l'ADN. Une fois l'information encodée en 0 et 1, elle est convertie en séquences des quatre bases de l'ADN. Ces séquences sont ensuite assemblées à partir de longs fragments d'ADN…

Photo
20240040_0019
Prototype d'une "DNA card" de Biomemory d'une capacité d'un pétaoctet
Open media modal

Only available for non-commercial distribution

La réalité virtuelle se met au service de la science. La cathédrale Notre-Dame de Paris a été entièrement numérisée par les chercheurs du CNRS, qui peuvent désormais s'immerger dans le double virtuel de l'édifice. A la Cité de l'architecture et du patrimoine, à Paris, les scientifiques accèdent à des matériaux désormais détruits ou à des parties inaccessibles de la cathédrale.

Video
7920
Notre-Dame de Paris et son double virtuel
20230082_0016
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0016
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0017
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0017
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0018
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0018
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0019
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0019
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0020
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0020
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0021
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0021
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0015
Open media modal

Attention image subject to restrictions contact us

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…

Photo
20230082_0015
Marc Antonini, médaille de l'innovation du CNRS 2023, et deux collaborateurs, cofondateurs de la start-up Cintoo
20230095_0003
Open media modal

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…

Photo
20230095_0003
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0004
Open media modal

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…

Photo
20230095_0004
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0005
Open media modal

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…

Photo
20230095_0005
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0006
Open media modal

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…

Photo
20230095_0006
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0007
Open media modal

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…

Photo
20230095_0007
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0008
Open media modal

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…

Photo
20230095_0008
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0001
Open media modal

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…

Photo
20230095_0001
Sandrine Blazy, médaille d'argent du CNRS 2023, prépare une preuve mathématique vérifiée par ordinateur
Open media modal

Only available for non-commercial distribution

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 à…

Video
7967
Médaille de cristal 2023 : Adrien Guénard, ingénieur en informatique
Open media modal

Only available for non-commercial distribution

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…

Video
7800
Médaille d'Argent 2023 : Sandrine Blazy,enseignante-chercheuse en informatique
20240014_0005
Open media modal

Scientifiques immergés dans une représentation numérique tridimensionnelle à taille réelle de la cathédrale Notre-Dame de Paris, dans le Téléport de la Cité de l'architecture et du patrimoine, à Paris. Elle est réalisée à partir de représentations tridimensionnelles de la cathédrale élaborées dans le cadre du chantier scientifique qui a suivi l'incendie de 2019. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en…

Photo
20240014_0005
Immersion dans le Téléport de la Cité de l'architecture et du patrimoine, Paris

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.