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
Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.

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.