20230099_0007
Open media modal

Gildas Brégain, lauréat de la médaille de bronze CNRS 2023, photographie des documents d’archives dans la salle de lecture des archives départementales de Loire-Atlantique, dans le cadre d'une recherche sur l'histoire des femmes aveugles ayant vécu entre 1860 et 1945 dans la France métropolitaine. Chercheur au Laboratoire Arènes, il est spécialiste de l'histoire transnationale du handicap. Il s'intéresse à la construction des politiques publiques du handicap à différentes échelles, en Amérique…

Photo
20230099_0007
Gildas Brégain, lauréat de la médaille de bronze CNRS 2023, photographie des documents d’archives
20230066_0010
Open media modal

Tête de mesure d'un dispositif microfluidique couplé à une polarographie. Ce couplage innovant permet d'étudier les interactions entre les nanoplastiques et les éléments traces métalliques à la sortie des canaux du dispositif microfluidique. L’innovation de ce dispositif est d'intégrer le paramètre de l’écoulement dans l’étude des contaminations métalliques, à l'image de ce qui se passe dans la nature. Après que les nanoplastiques et les métaux sont rentrés en interaction au sein du système…

Photo
20230066_0010
Tête de mesure d'un dispositif microfluidique couplé à une polarographie
20230066_0011
Open media modal

Dispositif permettant de simuler la dégradation de plastiques dans l'environnement. Des plastiques sont placés dans des béchers en téflon avec des couvercles qui comportent 8 leds émettant en UV-C, UVA ou UVB. En laboratoire, ils permettent d'accélérer la dégradation des plastiques. Un système d'aspiration récupère tous les gaz issus de cette dégradation, comme les composés organiques volatiles et le CO2. Les plastiques au sein de ce dispositif sont soumis à une dégradation à la fois…

Photo
20230066_0011
Dispositif permettant de simuler la dégradation de plastiques dans l'environnement.
20230066_0012
Open media modal

Dispositif permettant de simuler la dégradation de plastiques dans l'environnement. Des plastiques sont placés dans des béchers en téflon avec des couvercles qui comportent 8 leds émettant en UV-C, UVA ou UVB. En laboratoire, ils permettent d'accélérer la dégradation des plastiques. Un système d'aspiration récupère tous les gaz issus de cette dégradation, comme les composés organiques volatiles et le CO2. Les plastiques au sein de ce dispositif sont soumis à une dégradation à la fois…

Photo
20230066_0012
Dispositif permettant de simuler la dégradation de plastiques dans l'environnement.
20230066_0013
Open media modal

Dispositif permettant de simuler la dégradation de plastiques dans l'environnement. Des plastiques sont placés dans des béchers en téflon avec des couvercles qui comportent 8 leds émettant en UV-C, UVA ou UVB. En laboratoire, ils permettent d'accélérer la dégradation des plastiques. Un système d'aspiration récupère tous les gaz issus de cette dégradation, comme les composés organiques volatiles et le CO2. Les plastiques au sein de ce dispositif sont soumis à une dégradation à la fois…

Photo
20230066_0013
Dispositif permettant de simuler la dégradation de plastiques dans l'environnement.
20230066_0014
Open media modal

Dispositif permettant de simuler la dégradation de plastiques dans l'environnement. Des plastiques sont placés dans des béchers en téflon avec des couvercles qui comportent 8 leds émettant en UV-C, UVA ou UVB. En laboratoire, ils permettent d'accélérer la dégradation des plastiques. Un système d'aspiration récupère tous les gaz issus de cette dégradation, comme les composés organiques volatiles et le CO2. Les plastiques au sein de ce dispositif sont soumis à une dégradation à la fois…

Photo
20230066_0014
Dispositif permettant de simuler la dégradation de plastiques dans l'environnement.
20230066_0009
Open media modal

Observation de la tête de mesure d'un dispositif microfluidique couplé à une polarographie. Ce couplage innovant permet d'étudier les interactions entre les nanoplastiques et les éléments traces métalliques à la sortie des canaux du dispositif microfluidique. L’innovation de ce dispositif est d'intégrer le paramètre de l’écoulement dans l’étude des contaminations métalliques, à l'image de ce qui se passe dans la nature. Après que les nanoplastiques et les métaux sont rentrés en interaction au…

Photo
20230066_0009
Observation de la tête de mesure d'un dispositif microfluidique couplé à une polarographie
20230066_0015
Open media modal

Colonne de chromatographie d’adsorption dans laquelle est étudié le transport de microplastiques à travers différents substrats (inorganiques et organiques). Le but est de comparer la capacité de ces substrats à retenir les microplastiques selon des paramètres tels que : le débit du flux, la taille de la colonne ou la quantité de microplastiques apportée. Les fractions sortant de la colonne sont récupérées et analysées en pyrolyse GC-MS afin de quantifier les microplastiques non retenus. Les…

Photo
20230066_0015
Etude du transport de microplastiques à travers différents substrats
20230066_0016
Open media modal

Colonne de chromatographie d’adsorption dans laquelle est étudié le transport de microplastiques à travers différents substrats (inorganiques et organiques). Le but est de comparer la capacité de ces substrats à retenir les microplastiques selon des paramètres tels que : le débit du flux, la taille de la colonne ou la quantité de microplastiques apportée. Les fractions sortant de la colonne sont récupérées et analysées en pyrolyse GC-MS afin de quantifier les microplastiques non retenus. Les…

Photo
20230066_0016
Etude du transport de microplastiques à travers différents substrats
20230066_0017
Open media modal

Colonne de chromatographie d’adsorption dans laquelle est étudié le transport de microplastiques à travers différents substrats (inorganiques et organiques). Le but est de comparer la capacité de ces substrats à retenir les microplastiques selon des paramètres tels que : le débit du flux, la taille de la colonne ou la quantité de microplastiques apportée. Les fractions sortant de la colonne sont récupérées et analysées en pyrolyse GC-MS afin de quantifier les microplastiques non retenus. Les…

Photo
20230066_0017
Etude du transport de microplastiques à travers différents substrats
20230066_0018
Open media modal

Colonne de chromatographie d’adsorption dans laquelle est étudié le transport de microplastiques à travers différents substrats (inorganiques et organiques). Le but est de comparer la capacité de ces substrats à retenir les microplastiques selon des paramètres tels que : le débit du flux, la taille de la colonne ou la quantité de microplastiques apportée. Les fractions sortant de la colonne sont récupérées et analysées en pyrolyse GC-MS afin de quantifier les microplastiques non retenus. Les…

Photo
20230066_0018
Etude du transport de microplastiques à travers différents substrats
20230087_0001
Open media modal

Enlèvement des protections autour du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires à son bon fonctionnement sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire de 1,30 m, capable de…

Photo
20230087_0001
Enlèvement des protections autour du télescope COLIBRI à l’Observatoire de Haute-Provence (OHP)
20230087_0007
Open media modal

Intervention sur l’électronique permettant de contrôler les mouvements du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un…

Photo
20230087_0007
Intervention sur l’électronique de contrôle des mouvements du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0002
Open media modal

Ouverture des volets de protection du miroir primaire du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire…

Photo
20230087_0002
Ouverture des volets de protection du miroir primaire du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0006
Open media modal

Intervention sur l’électronique permettant de contrôler les mouvements du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un…

Photo
20230087_0006
Intervention sur l’électronique de contrôle des mouvements du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0009
Open media modal

Manipulation, grâce à une raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope offre la particularité d'être extrêmement rapide (il peut accéder n'importe quelle zone du ciel en moins de 20 secondes), tout en pouvant observer automatiquement tout une nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont…

Photo
20230087_0009
Manipulation du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0010
Open media modal

Mise en place d’une caméra sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire de 1,30 m, capable de…

Photo
20230087_0010
Mise en place d’une caméra sur le télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0022
Open media modal

Changement d'une caméra sur le télescope IRIS (Initiation à la recherche en astronomie pour les scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition…

Photo
20230087_0022
Changement d'une caméra sur le télescope IRIS à l’Observatoire de Haute-Provence
20230087_0012
Open media modal

Manipulation, à l'aide de la raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse…

Photo
20230087_0012
Manipulation de nuit du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0013
Open media modal

Manipulation, à l'aide de la raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse…

Photo
20230087_0013
Manipulation de nuit du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0016
Open media modal

Mise en place d’un oculaire sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Cet oculaire permet de vérifier visuellement la qualité optique du télescope. Il est ensuite remplacé par une caméra afin d'avoir une mesure quantitative. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour…

Photo
20230087_0016
Mise en place d’un oculaire sur le télescope COLIBRI de nuit à l’Observatoire de Haute-Provence
20230087_0017
Open media modal

Mise en place d’un oculaire sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Cet oculaire permet de vérifier visuellement la qualité optique du télescope. Il est ensuite remplacé par une caméra afin d'avoir une mesure quantitative. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour…

Photo
20230087_0017
Mise en place d’un oculaire sur le télescope COLIBRI de nuit à l’Observatoire de Haute-Provence
20230087_0018
Open media modal

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope se prépare à subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant…

Photo
20230087_0018
Télescope COLIBRI de nuit à l’Observatoire de Haute-Provence
20230087_0011
Open media modal

Inspection d'un filtre utilisé par la caméra de test du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Ce filtre permet de choisir un domaine spectral précis, ce qui permet de caractériser le télescope à une certaine longueur d'onde. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé…

Photo
20230087_0011
Inspection d'un filtre utilisé par la caméra de test du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0023
Open media modal

Changement d'une caméra sur le télescope IRIS (Initiation à la Recherche en astronomie pour les Scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition…

Photo
20230087_0023
Changement d'une caméra sur le télescope IRIS à l’Observatoire de Haute-Provence
20230087_0008
Open media modal

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire de 1,30 m, capable de pointer n’importe quelle région du…

Photo
20230087_0008
Télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0024
Open media modal

Télescope IRIS (Initiation à la Recherche en astronomie pour les Scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition de permettre aux enseignants d…

Photo
20230087_0024
Télescope IRIS à l’Observatoire de Haute-Provence
20230087_0014
Open media modal

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique…

Photo
20230087_0014
Télescope COLIBRI de nuit à l’Observatoire de Haute-Provence
20230087_0015
Open media modal

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique…

Photo
20230087_0015
Télescope COLIBRI de nuit à l’Observatoire de Haute-Provence
20230087_0020
Open media modal

Coupole du télescope IRIS de 50 cm de diamètre à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Autour la forêt de chênes pubescent. IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires.

Photo
20230087_0020
Coupole du télescope IRIS de 50 cm de diamètre à l’Observatoire de Haute-Provence
20230095_0002
Open media modal

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…

Photo
20230095_0002
Sandrine Blazy, médaille d'argent du CNRS 2023
20230087_0003
Open media modal

Miroir primaire et miroir tertiaire, avec son baffle de protection, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un…

Photo
20230087_0003
Miroirs primaire et tertiaire du télescope COLIBRI à l’Observatoire de Haute-Provence
20230087_0004
Open media modal

Vue à travers le tunnel du foyer Nasmyth des trois miroirs principaux du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). La croix correspond à la structure mécanique (l'araignée) qui maintient le miroir secondaire en haut du télescope. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé…

Photo
20230087_0004
Les trois miroirs principaux du télescope COLIBRI vus à travers le tunnel du foyer Nasmyth, à l’Observatoire de Haute…
20230087_0005
Open media modal

Miroir tertiaire du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Ce miroir permet de renvoyer la lumière des étoiles sur le côté du télescope, là où est installé une caméra hypersensible permettant d'observer dans le visible et l'infrarouge. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être…

Photo
20230087_0005
Miroir tertiaire du télescope COLIBRI à l’Observatoire de Haute-Provence
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
20230066_0062
Open media modal

Modèle en plastique imprimé en 3D, utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation climatique ou tectonique ; ensuite il permet de regarder comment ces évènements vont être enregistrés dans le…

Photo
20230066_0062
Modèle en plastique imprimé en 3D utilisé pour modéliser le transport des sédiments par une rivière
20230066_0063
Open media modal

Modèle en plastique imprimé en 3D utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant. Ici, c'est un cône alluvial, une zone d'accumulation à la sortie du bassin versant, des sédiments transportés dans le chenal. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation climatique ou tectonique ;…

Photo
20230066_0063
Modèle en plastique imprimé en 3D utilisé pour modéliser le transport des sédiments par une rivière

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.