Modélisation formelle : un livrable clé pour des modèles plus fiables et innovants Le projet Archi-CESAM, soutenu par le PEPR Cloud, vient de livrer un document intitulé : « Description of the Targeted Formal Modeling Languages and their Semantics ». Rédigé par Zachary Assoumani, doctorant dans l’équipe CONVECS, ce document…
Antoine Choffrut : « Des mathématiques à la cybersécurité, un parcours international au service d’un cloud sécurisé et souverain » Antoine Choffrut, ingénieur-chercheur au CEA LIST et copilote, avec Aymen Boudguiga, du projet TRUSTINCloudS, incarne une approche unique de la cybersécurité : celle d’un mathématicien passionné, devenu expert en chiffrement homomorphe et…
Adrian Evans, ingénieur-chercheur au CEA : « Construire un cloud plus fiable, plus ouvert, et plus sobre » Découvrez l’interview d’Adrian Evans, ingénieur de recherche au CEA LIST à Grenoble, spécialiste de la fiabilité des circuits intégrés et de l’architecture des systèmes. Nouveau pilote du projet Archi-CESAM dans le cadre du PEPR…
SLICES-FR : Une plateforme expérimentale unique Découvrez l’interview de Guillaume Schreiner, Directeur Technique de la plateforme SLICES-FR, qui nous dévoile les coulisses de ce projet ambitieux et décisif pour les recherches sur les infrastructures numériques, notamment les infrastructures cloud de prochaines générations. De son parcours académique à ses responsabilités actuelles,…
KubeDiagrams : Révolutionner la Gestion des Clusters Cloud avec des Représentations Graphiques Kubernetes, l’application populaire pour orchestrer des clusters et des conteneurs dans le cloud, rencontre un nouveau compagnon : KubeDiagrams. Découvrez comment cet outil innovant simplifie la gestion des configurations complexes et améliore la lisibilité des projets cloud. Kubernetes…
À l’occasion de la Journée Internationale des Droits des Femmes, Patricia Stolf, Enseignante-chercheuse à l’Université Toulouse-Jean Jaurès sur le site de l’IUT de Blagnac et Professeure des Universités à l’IRIT depuis 2022, partage son parcours, ses projets inspirants et sa vision de la place des femmes dans le monde scientifique.…
Le Programme Inria Quadrant (PIQ) est une initiative ambitieuse visant à soutenir et financer des projets de recherche numérique à risque et à fort impact potentiel. Lancé dans le cadre du dispositif France 2030 et de l’Agence de programmes Numérique – Algorithmes, Logiciels et Usages, PIQ se distingue par son…
Comme de nombreux PEPRs, le PEPR Cloud officialise sa présence sur les réseaux sociaux avec l’ouverture d’une page LinkedIn. Le Programme de recherche pour le cloud se lance sur les réseaux sociaux avec la création d’une page LinkedIn. S’inscrivant dans le plan de communication du PEPR Cloud, cette présence sur…