Prix & nominations

Deborah Agarwal, parrainée par Christine Morin, directrice de recherche Inria et Guillaume Pierre, professeur de l’Université de Rennes, reçoit les insignes de Docteur Honoris Causa de l'Université de Rennes Deborah Agarwal est une spécialiste internationalement reconnue dans le domaine de la Science des Données pour la Science. Elle occupe le poste de Senior Scientist au prestigieux laboratoire [..]

Félicitations à Daniel De Almeida Braga qui a obtenu le 1er prix de thèse Daniel De Almeida Braga a effectué sa thèse dans l'équipe de recherche EMSEC (qui a donné suite à Spicy ). Titre de la thèse : Cryptography in the Wild: The Security of Cryptographic Implementations Directeurs de thèse : Pierre-Alain FOUQUE, Professeur Université de Rennes et Mohamed SABT Maître de conférences Université de [..]

Le compilateur CompCert a été récompensé par la prestigieuse Association for computing machinery (ACM), pour la seconde fois CompCert est le premier compilateur optimisant plusieurs architectures et utilisé dans l'industrie, qui soit doté d’une preuve mathématique de correction vérifiée par ordinateur. Développé par plusieurs chercheurs* dont Sandrine Blazy , Professeure à l’Université de Rennes [..]

Shadi Ibrahim, chercheur Inria au sein de l’équipe Myriads, a été nommé fin décembre 2022 ACM Distinguished Member pour ses contributions scientifiques exceptionnelles au domaine de l’informatique. L' ACM ( Association for Computing Machinery ), la plus grande société informatique au monde, distingue chaque année certains de ses membres pour leurs réalisations révolutionnaires et leur [..]

Félicitations à Claudio Pacchierotti, lauréat de la médaille de bronze du CNRS Ce mardi 29 novembre 2022 s'est tenue la cérémonie des Talents 2022 du CNRS qui récompense chaque année celles et ceux qui contribuent au rayonnement et aux avancées de la recherche. Félicitations à C laudio Pacchierotti , chercheur CNRS dans l'équipe Rainbow , spécialiste de l’haptique tactile et des interfaces [..]

Bravo à André Seznec qui reçoit ce nouveau prix, gage d'une expertise dans le domaine de l'architecture des microprocesseurs. André Seznec - chercheur Inria, anciennement responsable du département Architecture au sein de l'IRISA et membre de l'équipe PACAP - mène ses travaux de recherche sur l'architecture des microprocesseurs depuis 40 ans . Concepteur et réalisateur d'un premier prototype d [..]

Les trophées Valorisation du Campus d'innovation de Rennes récompensent Bruno ARNALDI, Valérie GOURANTON (enseignants-chercheurs INSA) et Florian NOUVIALE (ingénieur de recherche INSA) pour le logiciel Xareus, l'outil d'aide à la programmation d’applications de réalité virtuelle. Une simplification qui permet de programmer graphiquement un scénario ou d’afficher les interactions possibles entre [..]

Plutôt que de réparer incessamment des failles de sécurité une fois qu’elles ont été exploitées par un attaquant, il est possible de réduire ces risques en aidant les cryptographes à les détecter en amont grâce à des outils de vérification de protocoles. C’est l’objet des recherches en cybersécurité d'une équipe de scientifiques* dont les travaux ont été récompensés par un Distinguished Paper [..]