Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Prix FIEEC CARNOT de la recherche appliquée
Prix FIEEC CARNOT de la recherche appliquée
Prix FIEEC CARNOT de la recherche appliquée Prix FIEEC CARNOT de la recherche appliquée
18 octobre 2019

Claude Marché remporte le premier prix FIEEC CARNOT de la recherche appliquée pour sa collaboration avec la société AdaCore.
Le prix récompense sa collaboration avec la société AdaCore, liée à la vérification par preuve assistée par ordinateur, pour des applications dans le développement de logiciels critiques pour la sûreté et la sécurité dans l'industrie aéronautique, spatiale, du contrôle aérien, du transport ferroviaire, des véhicules autonomes, de la finance ou des appareils médicaux.

Pour en savoir plus: https://www.instituts-carnot.eu/fr/actualite/prix-fieec-carnot-de-la-recherche-appliqu%C3%A9e-parmi-les-laur%C3%A9ats-les-carnot-inria-et-star
News
Ouvrage Informatique au lycée
24 septembre 2019
Parution d'un ouvrage pour la spécialité NSI en classe de première, co-écrit par quatre membres du LRI.

CAV Award 2019
06 septembre 2019
Jean-Christophe Filliâtre reçoit le prix "CAV Award 2019", pour la conception et le développement de langages intermédiaires réutilisables pour la vérification.

Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
16 mai 2019
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.