Jannik Dreier et ses confrères lauréats du Prix Levchin 2026 pour le Tamarin Prover

Toutes nos félicitations à Jannik Dreier, maître de conférences à l’Université de Lorraine, enseignant à Telecom Nancy et chercheur au Loria

Claire Gardent : élue membre de l’Académie des sciences

Le Loria adresse ses plus vives félicitations à Claire Gardent, directrice de recherche au sein du Loria : élue membre de l’Académie des sciences !

Véronique Cortier : lauréate d’un ERC Synergy Grant 2025 pour le projet VePaSS

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 !

Deux membres du Loria lauréats de l’Institut Universitaire de France

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.

Un Best Paper Award pour Vincent Trélat

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.