Toutes nos félicitations à Véronique Cortier, Directrice de recherche au sein du Loria : lauréate d’un ERC Synergy Grant 2025 pour le projet VePaSS !
Toutes nos félicitations à Jean-Yves Marion, professeur Université de Lorraine dans l’équipe Carbone, et à Vincent Despré, maître de conférences Université de Lorraine dans l’équipe Gamble, lauréats de l’Institut Universitaire de France.
Bravo à Vincent Trélat, doctorant dans l’équipe Mosel-Veridis, lauréat d’un Best Paper Award à la conférence ABZ 2025 (International Conference on Rigorous State-Based Methods).
Une belle récompense pour son article « Safely Encoding B Proof Obligations in SMT-LIB« .
Cette conférence internationale en méthodes formelles s’est tenue à Düsseldorf du 10 au 13 juin.
Toutes nos félicitations à Iglika Nikolova-Stoupak, membre de l’équipe Sémagramme, lauréate du Study UK Alumni Awards 2025 – France, dans la catégorie Culture et créativité.
Toutes nos félicitations à Pierrick Gaudry, Emmanuel Thomé et Paul Zimmermann, chercheurs CNRS et Inria au Loria, lauréats du Prix Levchin 2025 !
Le Prix Levchin honore des innovations à fort impact dans la cryptographie et son utilisation dans des systèmes du monde réel. Il leur a été remis le 26 mars lors de Real-World Crypto, conférence internationale majeure en cryptographie appliquée réunissant chaque année environ 600 professionnels académiques et industriels du domaine.
Ce prix prestigieux récompense les trois chercheurs pour CADO-NFS, un logiciel de sécurité informatique développé par l’équipe Caramba depuis 2007. CADO-NFS est le logiciel de référence pour éprouver la robustesse de clés de chiffrement.
