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.
Toutes nos félicitations à Dylan Marinho et Esteban Marquer, anciens doctorants du Loria, tous deux lauréats du Prix de thèse de l’Académie Lorraine des Sciences (ALS).
Bravo à Fanny Ducel, doctorante dans l’équipe Sémagramme du Loria et au LISN, qui a reçu le Prix du meilleur mémoire de master de l’AFLA (Association Française de Linguistique Appliquée).
Son mémoire, encadré par Karën Fort, Professeure Université de Lorraine au Loria et Aurélie Névéol, Directrice de recherche CNRS au LISN, vise à évaluer les biais stéréotypés des modèles de langue.
