Vie des laboratoires

- Emergence@INC 2025 - Agustin Rios de Anda

Image illustrant cette actualité

Agustin Rios de Anda est enseignant-chercheur à l’Institut de chimie et des matériaux Paris-Est (ICMPE, CNRS/Université Paris-Est Créteil Val-de-Marne). Son projet CROSSLINK-AGE est lauréat de l’appel à projet Emergence@INC2025. Par cet appel, CNRS Chimie accompagne des chargés de recherche ou maîtres de conférence recrutés depuis 4 à 10 ans en finançant un projet novateur et en encourageant la prise de risque.

CNRS Logo du CNRS
Agustin Rios de Anda est enseignant-chercheur à l’Institut de chimie et des matériaux Paris-Est (ICMPE, CNRS/U Image illustrant cette actualité

- Nouveaux membres élus à l'Académie des sciences : deux lauréats en ingénierie

Image illustrant cette actualité

Dès 2025, l’Académie des sciences va accueillir 18 nouveaux membres, scientifiques d’exception et figures de proue dans leurs disciplines respectives. Parmi ces nominations, permettant de promouvoir l’excellence scientifique française et internationale, figure Florence Gazeau, directrice de recherche CNRS au laboratoire Matière et systèmes complexes (MSC, CNRS/Université Paris Cité) dans la commission "Interfaces".

CNRS Logo du CNRS
Dès 2025, l’Académie des sciences va accueillir 18 nouveaux membres, scientifiques d’exception et figures de p Image illustrant cette actualité

- Vers une vérification automatique des systèmes dynamiques discrets

Image illustrant cette actualité

Bien que très répandus, les systèmes dynamiques discrets sont réfractaires de maintes façons à la vérification algorithmique. Les chercheurs du projet ERC Synergy DynAMiCs, dont Valérie Berthé, directrice de recherche CNRS à l'Institut de recherche en informatique fondamentale (IRIF - CNRS/Université Paris Cité), élaborent toute une boîte à outils, mathématiques comme informatiques, qui permettra d’élargir le nombre de situations où une vérification automatique est possible.

CNRS Logo du CNRS
Bien que très répandus, les systèmes dynamiques discrets sont réfractaires de maintes façons à la vérification Image illustrant cette actualité